Log files for model speed-ind.2100 and tool configuration storm_from-jani_check_sparse
[4.694999999999999, 4.388, 4.482, 4.301, 3.925]
Log file: storm_from-jani_check_sparse_speed-ind.2100_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 92.241 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:38:40 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962785/tmplicms6tostorm_from-jani_check_sparse_speed-ind.2100_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.010s.
Time for model construction: 4.685s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 743424
Transitions: 9518080
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 24576 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "change_state": Pmin=? [true U<=2100 "target"] ...
Result (for initial states): 0.04229449798
Time for model checking: 87.509s.
Performance statistics:
* peak memory usage: 763MB
* CPU time: 91.706s
* wallclock time: 92.209s
Log file: storm_from-jani_check_sparse_speed-ind.2100_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 79.641 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:36:28 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4966271/tmpovq34bg7storm_from-jani_check_sparse_speed-ind.2100_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.009s.
Time for model construction: 4.379s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 743424
Transitions: 9518080
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 24576 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "change_state": Pmin=? [true U<=2100 "target"] ...
Result (for initial states): 0.04229449798
Time for model checking: 75.222s.
Performance statistics:
* peak memory usage: 762MB
* CPU time: 79.211s
* wallclock time: 79.613s
Log file: storm_from-jani_check_sparse_speed-ind.2100_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 93.158 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:39:48 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962826/tmp3tg4yd_ostorm_from-jani_check_sparse_speed-ind.2100_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.009s.
Time for model construction: 4.473s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 743424
Transitions: 9518080
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 24576 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "change_state": Pmin=? [true U<=2100 "target"] ...
Result (for initial states): 0.04229449798
Time for model checking: 88.648s.
Performance statistics:
* peak memory usage: 762MB
* CPU time: 92.637s
* wallclock time: 93.133s
Log file: storm_from-jani_check_sparse_speed-ind.2100_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 80.399 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:08:42 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964870/tmprtdgiozgstorm_from-jani_check_sparse_speed-ind.2100_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.009s.
Time for model construction: 4.292s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 743424
Transitions: 9518080
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 24576 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "change_state": Pmin=? [true U<=2100 "target"] ...
Result (for initial states): 0.04229449798
Time for model checking: 76.067s.
Performance statistics:
* peak memory usage: 762MB
* CPU time: 79.959s
* wallclock time: 80.371s
Log file: storm_from-jani_check_sparse_speed-ind.2100_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 85.022 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:03:56 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964666/tmpyvnljvagstorm_from-jani_check_sparse_speed-ind.2100_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.008s.
Time for model construction: 3.917s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 743424
Transitions: 9518080
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 24576 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "change_state": Pmin=? [true U<=2100 "target"] ...
Result (for initial states): 0.04229449798
Time for model checking: 81.070s.
Performance statistics:
* peak memory usage: 763MB
* CPU time: 84.628s
* wallclock time: 84.999s