Log files for model mapk-cascade.4-30 and tool configuration storm_from-umb_check_sparse
[0.366, 0.367, 0.392, 0.396, 0.388]
Log file: storm_from-umb_check_sparse_mapk-cascade.4-30_rep1.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.366 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:04:23 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4961319/tmpfqy79dzgstorm_from-umb_check_sparse_mapk-cascade.4-30_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4961319/tmpfqy79dzgstorm_from-umb_check_sparse_mapk-cascade.4-30_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.020s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 99535
Transitions: 910872
Reward Models: time
State Labels: 3 labels
* target -> 1461 item(s)
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "activated_time": R{"time"}=? [F "target"] ...
Result (for initial states): 40.67650519
Time for model checking: 0.322s.
Performance statistics:
* peak memory usage: 153MB
* CPU time: 0.327s
* wallclock time: 0.345s
Log file: storm_from-umb_check_sparse_mapk-cascade.4-30_rep2.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.367 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:11:15 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4964995/tmptwp787z6storm_from-umb_check_sparse_mapk-cascade.4-30_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4964995/tmptwp787z6storm_from-umb_check_sparse_mapk-cascade.4-30_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.019s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 99535
Transitions: 910872
Reward Models: time
State Labels: 3 labels
* target -> 1461 item(s)
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "activated_time": R{"time"}=? [F "target"] ...
Result (for initial states): 40.67650519
Time for model checking: 0.325s.
Performance statistics:
* peak memory usage: 153MB
* CPU time: 0.325s
* wallclock time: 0.346s
Log file: storm_from-umb_check_sparse_mapk-cascade.4-30_rep3.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.392 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:06:33 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4964783/tmpzzzmiluostorm_from-umb_check_sparse_mapk-cascade.4-30_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4964783/tmpzzzmiluostorm_from-umb_check_sparse_mapk-cascade.4-30_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.023s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 99535
Transitions: 910872
Reward Models: time
State Labels: 3 labels
* target -> 1461 item(s)
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "activated_time": R{"time"}=? [F "target"] ...
Result (for initial states): 40.67650519
Time for model checking: 0.346s.
Performance statistics:
* peak memory usage: 153MB
* CPU time: 0.322s
* wallclock time: 0.371s
Log file: storm_from-umb_check_sparse_mapk-cascade.4-30_rep4.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.396 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:25:25 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4965723/tmpw7edaszkstorm_from-umb_check_sparse_mapk-cascade.4-30_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4965723/tmpw7edaszkstorm_from-umb_check_sparse_mapk-cascade.4-30_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.021s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 99535
Transitions: 910872
Reward Models: time
State Labels: 3 labels
* target -> 1461 item(s)
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "activated_time": R{"time"}=? [F "target"] ...
Result (for initial states): 40.67650519
Time for model checking: 0.342s.
Performance statistics:
* peak memory usage: 153MB
* CPU time: 0.344s
* wallclock time: 0.365s
Log file: storm_from-umb_check_sparse_mapk-cascade.4-30_rep5.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 0.388 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:11:49 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4965008/tmpus5i5brlstorm_from-umb_check_sparse_mapk-cascade.4-30_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4965008/tmpus5i5brlstorm_from-umb_check_sparse_mapk-cascade.4-30_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.020s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 99535
Transitions: 910872
Reward Models: time
State Labels: 3 labels
* target -> 1461 item(s)
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "activated_time": R{"time"}=? [F "target"] ...
Result (for initial states): 40.67650519
Time for model checking: 0.342s.
Performance statistics:
* peak memory usage: 153MB
* CPU time: 0.329s
* wallclock time: 0.364s