Log files for model herman.15 and tool configuration storm_from-jani_check_sparse
[30.379, 35.211, 35.299, 35.162, 30.595]
Log file: storm_from-jani_check_sparse_herman.15_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 31.176 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:48:31 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4963232/tmpbuj77cbsstorm_from-jani_check_sparse_herman.15_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 30.378s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 32768
Transitions: 14348908
Reward Models: steps
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 32768 item(s)
* stable -> 30 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "steps": R{"steps"}min=? [F "stable"] ...
Result (for initial states): 33.33333416
Time for model checking: 0.767s.
Performance statistics:
* peak memory usage: 737MB
* CPU time: 30.878s
* wallclock time: 31.153s
Log file: storm_from-jani_check_sparse_herman.15_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 36.017 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:20:17 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961987/tmpynq2afj7storm_from-jani_check_sparse_herman.15_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 35.210s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 32768
Transitions: 14348908
Reward Models: steps
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 32768 item(s)
* stable -> 30 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "steps": R{"steps"}min=? [F "stable"] ...
Result (for initial states): 33.33333416
Time for model checking: 0.776s.
Performance statistics:
* peak memory usage: 736MB
* CPU time: 35.764s
* wallclock time: 35.989s
Log file: storm_from-jani_check_sparse_herman.15_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 36.091 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:19:12 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961942/tmpwfki69ugstorm_from-jani_check_sparse_herman.15_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 35.298s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 32768
Transitions: 14348908
Reward Models: steps
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 32768 item(s)
* stable -> 30 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "steps": R{"steps"}min=? [F "stable"] ...
Result (for initial states): 33.33333416
Time for model checking: 0.765s.
Performance statistics:
* peak memory usage: 736MB
* CPU time: 35.830s
* wallclock time: 36.068s
Log file: storm_from-jani_check_sparse_herman.15_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 36.035 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:09:54 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961566/tmprjuqy6ppstorm_from-jani_check_sparse_herman.15_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 35.161s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 32768
Transitions: 14348908
Reward Models: steps
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 32768 item(s)
* stable -> 30 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "steps": R{"steps"}min=? [F "stable"] ...
Result (for initial states): 33.33333416
Time for model checking: 0.827s.
Performance statistics:
* peak memory usage: 735MB
* CPU time: 35.777s
* wallclock time: 35.993s
Log file: storm_from-jani_check_sparse_herman.15_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 31.315 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:41:43 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4966498/tmpu881yqw7storm_from-jani_check_sparse_herman.15_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 30.593s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 32768
Transitions: 14348908
Reward Models: steps
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 32768 item(s)
* stable -> 30 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "steps": R{"steps"}min=? [F "stable"] ...
Result (for initial states): 33.33333416
Time for model checking: 0.694s.
Performance statistics:
* peak memory usage: 736MB
* CPU time: 31.128s
* wallclock time: 31.292s