Log files for model wlan.5-0 and tool configuration storm_from-jani_to-drn_sparse
[0.901, 0.885, 1.011, 0.965, 0.968]
Log file: storm_from-jani_to-drn_sparse_wlan.5-0_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 4.576 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:19:53 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956954/tmpypne6rhvstorm_from-jani_to-drn_sparse_wlan.5-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956954/tmp83_t1ebqstorm_from-jani_to-drn_sparse_wlan.5-0_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.006s.
Time for model construction: 3.630s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1295218
Transitions: 2929960
Choices: 1646074
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956954/tmp83_t1ebqstorm_from-jani_to-drn_sparse_wlan.5-0_tmp_outdir_/model.drn'.
Time for model export: 0.901s.
Performance statistics:
* peak memory usage: 176MB
* CPU time: 4.485s
* wallclock time: 4.541s
############################## Output files ##############################
model.drn: Size of output file is 78826786 bytes
Log file: storm_from-jani_to-drn_sparse_wlan.5-0_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 4.606 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:01:51 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956222/tmp5lrd994istorm_from-jani_to-drn_sparse_wlan.5-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956222/tmpw0uj7j7jstorm_from-jani_to-drn_sparse_wlan.5-0_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
Time for model construction: 3.681s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1295218
Transitions: 2929960
Choices: 1646074
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956222/tmpw0uj7j7jstorm_from-jani_to-drn_sparse_wlan.5-0_tmp_outdir_/model.drn'.
Time for model export: 0.885s.
Performance statistics:
* peak memory usage: 177MB
* CPU time: 4.527s
* wallclock time: 4.576s
############################## Output files ##############################
model.drn: Size of output file is 78826786 bytes
Log file: storm_from-jani_to-drn_sparse_wlan.5-0_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 5.227 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:31:37 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957435/tmpcyha1x8kstorm_from-jani_to-drn_sparse_wlan.5-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957435/tmp81ea13yqstorm_from-jani_to-drn_sparse_wlan.5-0_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
Time for model construction: 4.180s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1295218
Transitions: 2929960
Choices: 1646074
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957435/tmp81ea13yqstorm_from-jani_to-drn_sparse_wlan.5-0_tmp_outdir_/model.drn'.
Time for model export: 1.011s.
Performance statistics:
* peak memory usage: 177MB
* CPU time: 5.120s
* wallclock time: 5.200s
############################## Output files ##############################
model.drn: Size of output file is 78826786 bytes
Log file: storm_from-jani_to-drn_sparse_wlan.5-0_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 4.930 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 00:01:18 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958454/tmp9vnmtp90storm_from-jani_to-drn_sparse_wlan.5-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958454/tmpdzrzgnbsstorm_from-jani_to-drn_sparse_wlan.5-0_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
Time for model construction: 3.926s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1295218
Transitions: 2929960
Choices: 1646074
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958454/tmpdzrzgnbsstorm_from-jani_to-drn_sparse_wlan.5-0_tmp_outdir_/model.drn'.
Time for model export: 0.965s.
Performance statistics:
* peak memory usage: 177MB
* CPU time: 4.839s
* wallclock time: 4.901s
############################## Output files ##############################
model.drn: Size of output file is 78826786 bytes
Log file: storm_from-jani_to-drn_sparse_wlan.5-0_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 4.901 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:42:41 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955475/tmpplt_z78estorm_from-jani_to-drn_sparse_wlan.5-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955475/tmpgioyec4sstorm_from-jani_to-drn_sparse_wlan.5-0_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.006s.
Time for model construction: 3.893s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1295218
Transitions: 2929960
Choices: 1646074
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955475/tmpgioyec4sstorm_from-jani_to-drn_sparse_wlan.5-0_tmp_outdir_/model.drn'.
Time for model export: 0.968s.
Performance statistics:
* peak memory usage: 177MB
* CPU time: 4.809s
* wallclock time: 4.871s
############################## Output files ##############################
model.drn: Size of output file is 78826786 bytes