Log files for model pacman.60 and tool configuration storm_from-umb_check_sparse
[1.724, 1.528, 1.409, 2.181, 1.418]
Log file: storm_from-umb_check_sparse_pacman.60_rep1.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 17.534 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:38:35 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4966363/tmp5zbm8g7estorm_from-umb_check_sparse_pacman.60_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4966363/tmp5zbm8g7estorm_from-umb_check_sparse_pacman.60_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 1.724s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 38786521
Transitions: 53648196
Choices: 48926255
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* Crash -> 1819987 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "crash": Pmin=? [F "Crash"] ...
Result (for initial states): 0.5511074971
Time for model checking: 15.770s.
Performance statistics:
* peak memory usage: 4333MB
* CPU time: 16.162s
* wallclock time: 17.501s
Log file: storm_from-umb_check_sparse_pacman.60_rep2.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 17.342 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:02:46 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4961256/tmpf0yzgkaustorm_from-umb_check_sparse_pacman.60_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4961256/tmpf0yzgkaustorm_from-umb_check_sparse_pacman.60_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 1.528s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 38786521
Transitions: 53648196
Choices: 48926255
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* Crash -> 1819987 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "crash": Pmin=? [F "Crash"] ...
Result (for initial states): 0.5511074971
Time for model checking: 15.777s.
Performance statistics:
* peak memory usage: 4333MB
* CPU time: 15.999s
* wallclock time: 17.312s
Log file: storm_from-umb_check_sparse_pacman.60_rep3.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 14.822 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:39:15 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4962810/tmpy03f4v1istorm_from-umb_check_sparse_pacman.60_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4962810/tmpy03f4v1istorm_from-umb_check_sparse_pacman.60_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 1.409s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 38786521
Transitions: 53648196
Choices: 48926255
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* Crash -> 1819987 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "crash": Pmin=? [F "Crash"] ...
Result (for initial states): 0.5511074971
Time for model checking: 13.379s.
Performance statistics:
* peak memory usage: 4333MB
* CPU time: 13.757s
* wallclock time: 14.793s
Log file: storm_from-umb_check_sparse_pacman.60_rep4.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 19.539 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:46:57 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4963144/tmpgzqpdkpbstorm_from-umb_check_sparse_pacman.60_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4963144/tmpgzqpdkpbstorm_from-umb_check_sparse_pacman.60_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 2.181s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 38786521
Transitions: 53648196
Choices: 48926255
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* Crash -> 1819987 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "crash": Pmin=? [F "Crash"] ...
Result (for initial states): 0.5511074971
Time for model checking: 17.268s.
Performance statistics:
* peak memory usage: 4332MB
* CPU time: 16.368s
* wallclock time: 19.506s
Log file: storm_from-umb_check_sparse_pacman.60_rep5.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 14.399 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:04:29 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4964690/tmp5sqagy5estorm_from-umb_check_sparse_pacman.60_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4964690/tmp5sqagy5estorm_from-umb_check_sparse_pacman.60_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 1.418s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 38786521
Transitions: 53648196
Choices: 48926255
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* Crash -> 1819987 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "crash": Pmin=? [F "Crash"] ...
Result (for initial states): 0.5511074971
Time for model checking: 12.942s.
Performance statistics:
* peak memory usage: 4333MB
* CPU time: 13.330s
* wallclock time: 14.365s