Log files for model pacman.60 and tool configuration storm_from-jani_check_sparse
[304.417, 312.817, 308.874, 350.043, 360.455]
Log file: storm_from-jani_check_sparse_pacman.60_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 304.417 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:58:48 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4967292/tmp2vx9g_v7storm_from-jani_check_sparse_pacman.60_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.022s.
Time for model construction: 291.683s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 38786521
Transitions: 53648196
Choices: 48926255
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 1819987 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "crash": Pmin=? [F "Crash"] ...
Result (for initial states): 0.5511074971
Time for model checking: 12.670s.
Performance statistics:
* peak memory usage: 4349MB
* CPU time: 302.993s
* wallclock time: 304.386s
Log file: storm_from-jani_check_sparse_pacman.60_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 312.817 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:11:29 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961626/tmpso0a3cf4storm_from-jani_check_sparse_pacman.60_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.023s.
Time for model construction: 295.551s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 38786521
Transitions: 53648196
Choices: 48926255
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 1819987 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "crash": Pmin=? [F "Crash"] ...
Result (for initial states): 0.5511074971
Time for model checking: 17.163s.
Performance statistics:
* peak memory usage: 4347MB
* CPU time: 309.542s
* wallclock time: 312.787s
Log file: storm_from-jani_check_sparse_pacman.60_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 308.874 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:48:00 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4963208/tmpdcw5eibnstorm_from-jani_check_sparse_pacman.60_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.024s.
Time for model construction: 294.706s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 38786521
Transitions: 53648196
Choices: 48926255
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 1819987 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "crash": Pmin=? [F "Crash"] ...
Result (for initial states): 0.5511074971
Time for model checking: 14.093s.
Performance statistics:
* peak memory usage: 4349MB
* CPU time: 307.454s
* wallclock time: 308.836s
Log file: storm_from-jani_check_sparse_pacman.60_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 350.043 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:17:35 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4965254/tmp9kh6q1hwstorm_from-jani_check_sparse_pacman.60_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: 336.661s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 38786521
Transitions: 53648196
Choices: 48926255
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 1819987 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "crash": Pmin=? [F "Crash"] ...
Result (for initial states): 0.5511074971
Time for model checking: 13.308s.
Performance statistics:
* peak memory usage: 4349MB
* CPU time: 348.065s
* wallclock time: 350.008s
Log file: storm_from-jani_check_sparse_pacman.60_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 360.455 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:19:41 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4965354/tmpomxj1ayrstorm_from-jani_check_sparse_pacman.60_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: 343.965s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 38786521
Transitions: 53648196
Choices: 48926255
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* Crash -> 1819987 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "crash": Pmin=? [F "Crash"] ...
Result (for initial states): 0.5511074971
Time for model checking: 16.399s.
Performance statistics:
* peak memory usage: 4349MB
* CPU time: 357.142s
* wallclock time: 360.411s