Log files for model wlan.4-0 and tool configuration storm_from-jani_check_sparse
[0.962, 1.08, 1.085, 1.127, 1.034]
Log file: storm_from-jani_check_sparse_wlan.4-0_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 0.962 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:42:33 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962948/tmpx5wn7n81storm_from-jani_check_sparse_wlan.4-0_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 0.898s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 345000
Transitions: 762252
Choices: 440206
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "sent": Pmin>=1 [F "target"] ...
Result (for initial states): true
Time for model checking: 0.030s.
Performance statistics:
* peak memory usage: 84MB
* CPU time: 0.919s
* wallclock time: 0.935s
Log file: storm_from-jani_check_sparse_wlan.4-0_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 1.080 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 08:59:12 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964389/tmpigw4iea9storm_from-jani_check_sparse_wlan.4-0_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 1.016s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 345000
Transitions: 762252
Choices: 440206
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "sent": Pmin>=1 [F "target"] ...
Result (for initial states): true
Time for model checking: 0.033s.
Performance statistics:
* peak memory usage: 84MB
* CPU time: 1.043s
* wallclock time: 1.057s
Log file: storm_from-jani_check_sparse_wlan.4-0_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 1.085 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:07:06 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964807/tmpvh09w9r3storm_from-jani_check_sparse_wlan.4-0_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 1.017s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 345000
Transitions: 762252
Choices: 440206
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "sent": Pmin>=1 [F "target"] ...
Result (for initial states): true
Time for model checking: 0.034s.
Performance statistics:
* peak memory usage: 84MB
* CPU time: 1.046s
* wallclock time: 1.060s
Log file: storm_from-jani_check_sparse_wlan.4-0_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 1.127 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:11:48 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4965020/tmpcu27do8sstorm_from-jani_check_sparse_wlan.4-0_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 1.048s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 345000
Transitions: 762252
Choices: 440206
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "sent": Pmin>=1 [F "target"] ...
Result (for initial states): true
Time for model checking: 0.043s.
Performance statistics:
* peak memory usage: 84MB
* CPU time: 1.088s
* wallclock time: 1.100s
Log file: storm_from-jani_check_sparse_wlan.4-0_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 1.034 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 08:52:04 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964096/tmpzov_l2zpstorm_from-jani_check_sparse_wlan.4-0_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 0.970s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 345000
Transitions: 762252
Choices: 440206
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "sent": Pmin>=1 [F "target"] ...
Result (for initial states): true
Time for model checking: 0.033s.
Performance statistics:
* peak memory usage: 84MB
* CPU time: 0.997s
* wallclock time: 1.011s