Log files for model firewire.false-36-800 and tool configuration storm_from-umb_check_sparse
[7.671, 7.792, 7.061, 7.086, 7.218]
Log file: storm_from-umb_check_sparse_firewire.false-36-800_rep1.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 7.671 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:25:58 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4962203/tmpff8nz1bxstorm_from-umb_check_sparse_firewire.false-36-800_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4962203/tmpff8nz1bxstorm_from-umb_check_sparse_firewire.false-36-800_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.018s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 212268
Transitions: 481792
Choices: 478756
Reward Models: time
State Labels: 3 labels
* done -> 2 item(s)
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "deadline": Pmin=? [true Urew{"time"}<=800 "done"] ...
Result (for initial states): 0.939453125
Time for model checking: 7.629s.
Performance statistics:
* peak memory usage: 190MB
* CPU time: 7.595s
* wallclock time: 7.650s
Log file: storm_from-umb_check_sparse_firewire.false-36-800_rep2.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 7.792 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:46:56 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4963143/tmpbv_ekyaystorm_from-umb_check_sparse_firewire.false-36-800_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4963143/tmpbv_ekyaystorm_from-umb_check_sparse_firewire.false-36-800_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.019s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 212268
Transitions: 481792
Choices: 478756
Reward Models: time
State Labels: 3 labels
* done -> 2 item(s)
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "deadline": Pmin=? [true Urew{"time"}<=800 "done"] ...
Result (for initial states): 0.939453125
Time for model checking: 7.746s.
Performance statistics:
* peak memory usage: 190MB
* CPU time: 7.706s
* wallclock time: 7.768s
Log file: storm_from-umb_check_sparse_firewire.false-36-800_rep3.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 7.061 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:34:53 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4966197/tmpcuoqqn9lstorm_from-umb_check_sparse_firewire.false-36-800_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4966197/tmpcuoqqn9lstorm_from-umb_check_sparse_firewire.false-36-800_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.019s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 212268
Transitions: 481792
Choices: 478756
Reward Models: time
State Labels: 3 labels
* done -> 2 item(s)
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "deadline": Pmin=? [true Urew{"time"}<=800 "done"] ...
Result (for initial states): 0.939453125
Time for model checking: 7.015s.
Performance statistics:
* peak memory usage: 190MB
* CPU time: 6.987s
* wallclock time: 7.037s
Log file: storm_from-umb_check_sparse_firewire.false-36-800_rep4.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 7.086 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:10:57 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4961593/tmp6vi88u8estorm_from-umb_check_sparse_firewire.false-36-800_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4961593/tmp6vi88u8estorm_from-umb_check_sparse_firewire.false-36-800_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.018s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 212268
Transitions: 481792
Choices: 478756
Reward Models: time
State Labels: 3 labels
* done -> 2 item(s)
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "deadline": Pmin=? [true Urew{"time"}<=800 "done"] ...
Result (for initial states): 0.939453125
Time for model checking: 7.044s.
Performance statistics:
* peak memory usage: 190MB
* CPU time: 7.006s
* wallclock time: 7.065s
Log file: storm_from-umb_check_sparse_firewire.false-36-800_rep5.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 7.218 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:29:17 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4962367/tmp3845i5vkstorm_from-umb_check_sparse_firewire.false-36-800_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4962367/tmp3845i5vkstorm_from-umb_check_sparse_firewire.false-36-800_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.021s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 212268
Transitions: 481792
Choices: 478756
Reward Models: time
State Labels: 3 labels
* done -> 2 item(s)
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "deadline": Pmin=? [true Urew{"time"}<=800 "done"] ...
Result (for initial states): 0.939453125
Time for model checking: 7.171s.
Performance statistics:
* peak memory usage: 190MB
* CPU time: 7.117s
* wallclock time: 7.195s