Log files for model pacman.100 and tool configuration storm_from-umb_check_sparse
[46.136, 48.288, 45.51, 47.88, 51.258]
Log file: storm_from-umb_check_sparse_pacman.100_rep1.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 46.136 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:28:04 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4965851/tmpm764lotmstorm_from-umb_check_sparse_pacman.100_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4965851/tmpm764lotmstorm_from-umb_check_sparse_pacman.100_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 2.615s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 79440921
Transitions: 109963876
Choices: 100215175
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* Crash -> 3641587 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "crash": Pmin=? [F "Crash"] ...
Result (for initial states): 0.5511176225
Time for model checking: 43.465s.
Performance statistics:
* peak memory usage: 11312MB
* CPU time: 43.753s
* wallclock time: 46.089s
Log file: storm_from-umb_check_sparse_pacman.100_rep2.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 48.288 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:46:27 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4963130/tmp88qg17ebstorm_from-umb_check_sparse_pacman.100_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4963130/tmp88qg17ebstorm_from-umb_check_sparse_pacman.100_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 2.849s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 79440921
Transitions: 109963876
Choices: 100215175
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* Crash -> 3641587 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "crash": Pmin=? [F "Crash"] ...
Result (for initial states): 0.5511176225
Time for model checking: 45.367s.
Performance statistics:
* peak memory usage: 11312MB
* CPU time: 45.748s
* wallclock time: 48.226s
Log file: storm_from-umb_check_sparse_pacman.100_rep3.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 45.510 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:54:33 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4967097/tmpnavu0vc_storm_from-umb_check_sparse_pacman.100_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4967097/tmpnavu0vc_storm_from-umb_check_sparse_pacman.100_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 2.589s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 79440921
Transitions: 109963876
Choices: 100215175
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* Crash -> 3641587 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "crash": Pmin=? [F "Crash"] ...
Result (for initial states): 0.5511176225
Time for model checking: 42.865s.
Performance statistics:
* peak memory usage: 11312MB
* CPU time: 43.207s
* wallclock time: 45.463s
Log file: storm_from-umb_check_sparse_pacman.100_rep4.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 47.880 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:16:00 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4965189/tmp55e06lgbstorm_from-umb_check_sparse_pacman.100_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4965189/tmp55e06lgbstorm_from-umb_check_sparse_pacman.100_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 2.878s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 79440921
Transitions: 109963876
Choices: 100215175
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* Crash -> 3641587 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "crash": Pmin=? [F "Crash"] ...
Result (for initial states): 0.5511176225
Time for model checking: 44.937s.
Performance statistics:
* peak memory usage: 11312MB
* CPU time: 45.383s
* wallclock time: 47.825s
Log file: storm_from-umb_check_sparse_pacman.100_rep5.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 51.258 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:38:41 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4962794/tmptk6zw9u4storm_from-umb_check_sparse_pacman.100_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4962794/tmptk6zw9u4storm_from-umb_check_sparse_pacman.100_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 2.966s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 79440921
Transitions: 109963876
Choices: 100215175
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* Crash -> 3641587 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "crash": Pmin=? [F "Crash"] ...
Result (for initial states): 0.5511176225
Time for model checking: 48.224s.
Performance statistics:
* peak memory usage: 11312MB
* CPU time: 48.545s
* wallclock time: 51.200s