My Jobs

Last checked: UNDEFINED Refresh
API URL: Change

New Job
Wondering how to interpret the "Status" line?

Status Messages and Their Meanings

Running: If you get this status message, it means the docker container hosting STAMINA is still running, and it has neither timed out nor finished.

Exited: This message means that the job has finished, and that a Pmin and Pmax have been found.

Killed: Either the container has been killed by the user, or timed out on the server.

Pruned: While we are keeping records that the job existed, its creation time, who created it, and some other basic info, we are not keeping the results or logs on our system.

If you are expecting to see a job that you do not see, either it has been deleted or it is associated with a different IP address than you are currently looking at. If you kept the UID of the job, please visit https://staminachecker.org/api/job?=[YOUR UID] to manually check.
STAMINA Information FLUENT Information Papers and Research
STAMINA/STORM State-space truncation (STAMINA) Google Scholar
STAMINA/PRISM
Contact Developers
Fluent Website
Contact Fluent
STAMINA is developed at Utah State University and is part of the tools developed by the FLUENT Team. The STAMINA tool is licensed under the GPLv3 license, and the model checkers it integrates with, STORM and PRISM, are under the GPL 3.0 and 2.0 licenses respectively.
This website is designed and developed by hand by Josh Jeppson. The content and design of this website is licensed under the CC-BY-SA-NC license. This website uses the Breeze Icons from KDE licensed under the GPL3.