Log files for model haddad-monmege.100-0.7 and tool configuration storm_from-jani_check_sparse
[0.061, 0.047, 0.045, 0.052, 0.043]
Log file: storm_from-jani_check_sparse_haddad-monmege.100-0.7_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 0.061 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:34:15 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962591/tmpki6qpwtpstorm_from-jani_check_sparse_haddad-monmege.100-0.7_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.022s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 201
Transitions: 400
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* Target -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "target": Pmin=? [F "Target"] ...
Result (for initial states): 0.5
Time for model checking: 0.000s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.016s
* wallclock time: 0.026s
Log file: storm_from-jani_check_sparse_haddad-monmege.100-0.7_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 0.047 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:05:00 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964705/tmpyh7vvz_fstorm_from-jani_check_sparse_haddad-monmege.100-0.7_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.016s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 201
Transitions: 400
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* Target -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "target": Pmin=? [F "Target"] ...
Result (for initial states): 0.5
Time for model checking: 0.000s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.022s
* wallclock time: 0.018s
Log file: storm_from-jani_check_sparse_haddad-monmege.100-0.7_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 0.045 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:01:39 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961203/tmp96ntv1gvstorm_from-jani_check_sparse_haddad-monmege.100-0.7_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.015s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 201
Transitions: 400
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* Target -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "target": Pmin=? [F "Target"] ...
Result (for initial states): 0.5
Time for model checking: 0.000s.
Performance statistics:
* peak memory usage: 53MB
* CPU time: 0.019s
* wallclock time: 0.018s
Log file: storm_from-jani_check_sparse_haddad-monmege.100-0.7_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 0.052 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:21:14 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4965424/tmpwq4t2fzjstorm_from-jani_check_sparse_haddad-monmege.100-0.7_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.019s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 201
Transitions: 400
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* Target -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "target": Pmin=? [F "Target"] ...
Result (for initial states): 0.5
Time for model checking: 0.000s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.024s
* wallclock time: 0.022s
Log file: storm_from-jani_check_sparse_haddad-monmege.100-0.7_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 0.043 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:58:49 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4967284/tmp3maip9hpstorm_from-jani_check_sparse_haddad-monmege.100-0.7_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.000s.
Time for model construction: 0.015s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 201
Transitions: 400
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* Target -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "target": Pmin=? [F "Target"] ...
Result (for initial states): 0.5
Time for model checking: 0.000s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.021s
* wallclock time: 0.017s