Log files for model wlan.5-0 and tool configuration storm_from-jani_to-drn-gz_sparse
[1.613, 1.756, 1.762, 1.747, 1.857]
Log file: storm_from-jani_to-drn-gz_sparse_wlan.5-0_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 5.326 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:47:15 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955645/tmpjt0v_uw_storm_from-jani_to-drn-gz_sparse_wlan.5-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955645/tmp0zrszq6lstorm_from-jani_to-drn-gz_sparse_wlan.5-0_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
Time for model construction: 3.676s.
--------------------------------------------------------------
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.4955645/tmp0zrszq6lstorm_from-jani_to-drn-gz_sparse_wlan.5-0_tmp_outdir_/model.drn.gz'.
Time for model export: 1.613s.
Performance statistics:
* peak memory usage: 328MB
* CPU time: 5.241s
* wallclock time: 5.298s
############################## Output files ##############################
model.drn.gz: Size of output file is 11775279 bytes
Log file: storm_from-jani_to-drn-gz_sparse_wlan.5-0_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 5.664 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 00:02:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958512/tmpr0kxqc1bstorm_from-jani_to-drn-gz_sparse_wlan.5-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958512/tmp_qgg12e4storm_from-jani_to-drn-gz_sparse_wlan.5-0_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.006s.
Time for model construction: 3.874s.
--------------------------------------------------------------
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.4958512/tmp_qgg12e4storm_from-jani_to-drn-gz_sparse_wlan.5-0_tmp_outdir_/model.drn.gz'.
Time for model export: 1.756s.
Performance statistics:
* peak memory usage: 328MB
* CPU time: 5.564s
* wallclock time: 5.640s
############################## Output files ##############################
model.drn.gz: Size of output file is 11775279 bytes
Log file: storm_from-jani_to-drn-gz_sparse_wlan.5-0_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 5.868 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:56:09 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958248/tmpghimnm3hstorm_from-jani_to-drn-gz_sparse_wlan.5-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958248/tmp5apocdltstorm_from-jani_to-drn-gz_sparse_wlan.5-0_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
Time for model construction: 4.073s.
--------------------------------------------------------------
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.4958248/tmp5apocdltstorm_from-jani_to-drn-gz_sparse_wlan.5-0_tmp_outdir_/model.drn.gz'.
Time for model export: 1.762s.
Performance statistics:
* peak memory usage: 328MB
* CPU time: 5.768s
* wallclock time: 5.845s
############################## Output files ##############################
model.drn.gz: Size of output file is 11775279 bytes
Log file: storm_from-jani_to-drn-gz_sparse_wlan.5-0_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 5.664 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:22:09 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957042/tmpti05w4idstorm_from-jani_to-drn-gz_sparse_wlan.5-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957042/tmp1y2m9wmsstorm_from-jani_to-drn-gz_sparse_wlan.5-0_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
Time for model construction: 3.880s.
--------------------------------------------------------------
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.4957042/tmp1y2m9wmsstorm_from-jani_to-drn-gz_sparse_wlan.5-0_tmp_outdir_/model.drn.gz'.
Time for model export: 1.747s.
Performance statistics:
* peak memory usage: 328MB
* CPU time: 5.573s
* wallclock time: 5.637s
############################## Output files ##############################
model.drn.gz: Size of output file is 11775279 bytes
Log file: storm_from-jani_to-drn-gz_sparse_wlan.5-0_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 6.387 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:23:21 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957103/tmpyzgsclrcstorm_from-jani_to-drn-gz_sparse_wlan.5-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957103/tmp0w1792j0storm_from-jani_to-drn-gz_sparse_wlan.5-0_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.008s.
Time for model construction: 4.102s.
--------------------------------------------------------------
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.4957103/tmp0w1792j0storm_from-jani_to-drn-gz_sparse_wlan.5-0_tmp_outdir_/model.drn.gz'.
Time for model export: 1.857s.
Performance statistics:
* peak memory usage: 327MB
* CPU time: 5.852s
* wallclock time: 5.973s
############################## Output files ##############################
model.drn.gz: Size of output file is 11775279 bytes