Log files for model pacman.100 and tool configuration storm_from-jani_check_sparse
[673.861, 844.037, 761.136, 739.269, 739.351]
Log file: storm_from-jani_check_sparse_pacman.100_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 673.861 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:17:04 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4965239/tmpgl5tuitystorm_from-jani_check_sparse_pacman.100_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.027s.
Time for model construction: 627.986s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 79440921
Transitions: 109963876
Choices: 100215175
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 3641587 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "crash": Pmin=? [F "Crash"] ...
Result (for initial states): 0.5511176225
Time for model checking: 45.773s.
Performance statistics:
* peak memory usage: 11330MB
* CPU time: 669.424s
* wallclock time: 673.805s
Log file: storm_from-jani_check_sparse_pacman.100_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 844.037 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:46:57 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4963152/tmpa1arunxostorm_from-jani_check_sparse_pacman.100_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.029s.
Time for model construction: 760.829s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 79440921
Transitions: 109963876
Choices: 100215175
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 3641587 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "crash": Pmin=? [F "Crash"] ...
Result (for initial states): 0.5511176225
Time for model checking: 82.886s.
Performance statistics:
* peak memory usage: 11326MB
* CPU time: 830.249s
* wallclock time: 843.933s
Log file: storm_from-jani_check_sparse_pacman.100_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 761.136 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 10:00:58 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4967370/tmpm9h2pslkstorm_from-jani_check_sparse_pacman.100_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.026s.
Time for model construction: 710.088s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 79440921
Transitions: 109963876
Choices: 100215175
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 3641587 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "crash": Pmin=? [F "Crash"] ...
Result (for initial states): 0.5511176225
Time for model checking: 50.940s.
Performance statistics:
* peak memory usage: 11330MB
* CPU time: 756.276s
* wallclock time: 761.073s
Log file: storm_from-jani_check_sparse_pacman.100_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 739.269 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:44:46 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4963053/tmpxp2l14vpstorm_from-jani_check_sparse_pacman.100_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.026s.
Time for model construction: 694.069s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 79440921
Transitions: 109963876
Choices: 100215175
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 3641587 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "crash": Pmin=? [F "Crash"] ...
Result (for initial states): 0.5511176225
Time for model checking: 45.085s.
Performance statistics:
* peak memory usage: 11330MB
* CPU time: 734.900s
* wallclock time: 739.197s
Log file: storm_from-jani_check_sparse_pacman.100_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 739.351 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:07:07 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964800/tmpde6u2w0gstorm_from-jani_check_sparse_pacman.100_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.026s.
Time for model construction: 693.951s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 79440921
Transitions: 109963876
Choices: 100215175
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 3641587 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "crash": Pmin=? [F "Crash"] ...
Result (for initial states): 0.5511176225
Time for model checking: 45.292s.
Performance statistics:
* peak memory usage: 11330MB
* CPU time: 735.059s
* wallclock time: 739.287s