Log files for model embedded.8-12 and tool configuration storm_from-jani_check_sparse
[0.041, 0.042, 0.043000000000000003, 0.042, 0.038]
Log file: storm_from-jani_check_sparse_embedded.8-12_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 0.076 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:17:34 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961879/tmpjqaki11zstorm_from-jani_check_sparse_embedded.8-12_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: 0.040s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 8548
Transitions: 36041
Reward Models: none
State Labels: 4 labels
* init -> 1 item(s)
* l_down -> 5884 item(s)
* deadlock -> 0 item(s)
* fail_actuators -> 1064 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "actuators": Pmin=? [(!"l_down") U "fail_actuators"] ...
Result (for initial states): 0.1053036557
Time for model checking: 0.001s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.051s
* wallclock time: 0.046s
Log file: storm_from-jani_check_sparse_embedded.8-12_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 0.069 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:10:14 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964947/tmpt22crcuwstorm_from-jani_check_sparse_embedded.8-12_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: 0.041s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 8548
Transitions: 36041
Reward Models: none
State Labels: 4 labels
* init -> 1 item(s)
* l_down -> 5884 item(s)
* deadlock -> 0 item(s)
* fail_actuators -> 1064 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "actuators": Pmin=? [(!"l_down") U "fail_actuators"] ...
Result (for initial states): 0.1053036557
Time for model checking: 0.002s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.044s
* wallclock time: 0.046s
Log file: storm_from-jani_check_sparse_embedded.8-12_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 0.070 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:39:14 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962813/tmprahnbohostorm_from-jani_check_sparse_embedded.8-12_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: 0.042s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 8548
Transitions: 36041
Reward Models: none
State Labels: 4 labels
* init -> 1 item(s)
* l_down -> 5884 item(s)
* deadlock -> 0 item(s)
* fail_actuators -> 1064 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "actuators": Pmin=? [(!"l_down") U "fail_actuators"] ...
Result (for initial states): 0.1053036557
Time for model checking: 0.002s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.048s
* wallclock time: 0.047s
Log file: storm_from-jani_check_sparse_embedded.8-12_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 0.069 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:27:37 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962287/tmp487xb8u7storm_from-jani_check_sparse_embedded.8-12_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: 0.041s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 8548
Transitions: 36041
Reward Models: none
State Labels: 4 labels
* init -> 1 item(s)
* l_down -> 5884 item(s)
* deadlock -> 0 item(s)
* fail_actuators -> 1064 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "actuators": Pmin=? [(!"l_down") U "fail_actuators"] ...
Result (for initial states): 0.1053036557
Time for model checking: 0.002s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.052s
* wallclock time: 0.046s
Log file: storm_from-jani_check_sparse_embedded.8-12_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 0.064 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:21:56 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962038/tmpcbfbu3owstorm_from-jani_check_sparse_embedded.8-12_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: 0.037s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 8548
Transitions: 36041
Reward Models: none
State Labels: 4 labels
* init -> 1 item(s)
* l_down -> 5884 item(s)
* deadlock -> 0 item(s)
* fail_actuators -> 1064 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "actuators": Pmin=? [(!"l_down") U "fail_actuators"] ...
Result (for initial states): 0.1053036557
Time for model checking: 0.001s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.047s
* wallclock time: 0.041s