Log files for model speed-ind.2100 and tool configuration storm_from-umb_check_sparse
[81.289, 78.428, 89.437, 87.76, 87.693]
Log file: storm_from-umb_check_sparse_speed-ind.2100_rep1.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 81.289 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 08:56:06 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4964237/tmpm81bxiccstorm_from-umb_check_sparse_speed-ind.2100_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4964237/tmpm81bxiccstorm_from-umb_check_sparse_speed-ind.2100_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.163s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 743424
Transitions: 9518080
Reward Models: none
State Labels: 3 labels
* target -> 24576 item(s)
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "change_state": P=? [true U<=2100 "target"] ...
Result (for initial states): 0.04229449798
Time for model checking: 80.325s.
Performance statistics:
* peak memory usage: 743MB
* CPU time: 80.061s
* wallclock time: 80.491s
Log file: storm_from-umb_check_sparse_speed-ind.2100_rep2.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 78.428 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:40:09 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4966437/tmp04lf6ss1storm_from-umb_check_sparse_speed-ind.2100_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4966437/tmp04lf6ss1storm_from-umb_check_sparse_speed-ind.2100_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.172s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 743424
Transitions: 9518080
Reward Models: none
State Labels: 3 labels
* target -> 24576 item(s)
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "change_state": P=? [true U<=2100 "target"] ...
Result (for initial states): 0.04229449798
Time for model checking: 78.224s.
Performance statistics:
* peak memory usage: 743MB
* CPU time: 77.985s
* wallclock time: 78.398s
Log file: storm_from-umb_check_sparse_speed-ind.2100_rep3.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 89.437 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:33:20 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4966132/tmpr50vw2uestorm_from-umb_check_sparse_speed-ind.2100_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4966132/tmpr50vw2uestorm_from-umb_check_sparse_speed-ind.2100_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.173s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 743424
Transitions: 9518080
Reward Models: none
State Labels: 3 labels
* target -> 24576 item(s)
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "change_state": P=? [true U<=2100 "target"] ...
Result (for initial states): 0.04229449798
Time for model checking: 89.072s.
Performance statistics:
* peak memory usage: 743MB
* CPU time: 88.779s
* wallclock time: 89.249s
Log file: storm_from-umb_check_sparse_speed-ind.2100_rep4.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 87.760 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:20:18 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4961992/tmp5plaa6whstorm_from-umb_check_sparse_speed-ind.2100_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4961992/tmp5plaa6whstorm_from-umb_check_sparse_speed-ind.2100_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.194s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 743424
Transitions: 9518080
Reward Models: none
State Labels: 3 labels
* target -> 24576 item(s)
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "change_state": P=? [true U<=2100 "target"] ...
Result (for initial states): 0.04229449798
Time for model checking: 87.537s.
Performance statistics:
* peak memory usage: 743MB
* CPU time: 87.217s
* wallclock time: 87.734s
Log file: storm_from-umb_check_sparse_speed-ind.2100_rep5.log
Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 87.693 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:35:56 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4962661/tmp9yw714spstorm_from-umb_check_sparse_speed-ind.2100_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4962661/tmp9yw714spstorm_from-umb_check_sparse_speed-ind.2100_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model construction: 0.164s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 743424
Transitions: 9518080
Reward Models: none
State Labels: 3 labels
* target -> 24576 item(s)
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "change_state": P=? [true U<=2100 "target"] ...
Result (for initial states): 0.04229449798
Time for model checking: 87.498s.
Performance statistics:
* peak memory usage: 743MB
* CPU time: 87.167s
* wallclock time: 87.665s