Log files for model wlan.6-0 and tool configuration storm_from-jani_to-drn-gz_sparse
[6.213, 6.287, 6.102, 6.923, 6.8]
Log file: storm_from-jani_to-drn-gz_sparse_wlan.6-0_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 20.935 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:54:09 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955925/tmptppihd5sstorm_from-jani_to-drn-gz_sparse_wlan.6-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955925/tmpt03xpy3dstorm_from-jani_to-drn-gz_sparse_wlan.6-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.007s.
Time for model construction: 14.684s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 5007548
Transitions: 11475748
Choices: 6350470
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.4955925/tmpt03xpy3dstorm_from-jani_to-drn-gz_sparse_wlan.6-0_tmp_outdir_/model.drn.gz'.
Time for model export: 6.213s.
Performance statistics:
* peak memory usage: 1029MB
* CPU time: 20.658s
* wallclock time: 20.909s
############################## Output files ##############################
model.drn.gz: Size of output file is 46703950 bytes
Log file: storm_from-jani_to-drn-gz_sparse_wlan.6-0_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 21.274 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:50:26 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958001/tmpvtyqlwo9storm_from-jani_to-drn-gz_sparse_wlan.6-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958001/tmptsi0oo51storm_from-jani_to-drn-gz_sparse_wlan.6-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.009s.
Time for model construction: 14.942s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 5007548
Transitions: 11475748
Choices: 6350470
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.4958001/tmptsi0oo51storm_from-jani_to-drn-gz_sparse_wlan.6-0_tmp_outdir_/model.drn.gz'.
Time for model export: 6.287s.
Performance statistics:
* peak memory usage: 1029MB
* CPU time: 20.949s
* wallclock time: 21.243s
############################## Output files ##############################
model.drn.gz: Size of output file is 46703950 bytes
Log file: storm_from-jani_to-drn-gz_sparse_wlan.6-0_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 20.403 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:32:22 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955039/tmpg8e4iw1ustorm_from-jani_to-drn-gz_sparse_wlan.6-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955039/tmp_9vjk90qstorm_from-jani_to-drn-gz_sparse_wlan.6-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: 14.263s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 5007548
Transitions: 11475748
Choices: 6350470
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.4955039/tmp_9vjk90qstorm_from-jani_to-drn-gz_sparse_wlan.6-0_tmp_outdir_/model.drn.gz'.
Time for model export: 6.102s.
Performance statistics:
* peak memory usage: 1029MB
* CPU time: 20.116s
* wallclock time: 20.378s
############################## Output files ##############################
model.drn.gz: Size of output file is 46703950 bytes
Log file: storm_from-jani_to-drn-gz_sparse_wlan.6-0_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 23.398 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:17:38 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956864/tmp71aotgmgstorm_from-jani_to-drn-gz_sparse_wlan.6-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956864/tmpgfoosi4_storm_from-jani_to-drn-gz_sparse_wlan.6-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: 16.432s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 5007548
Transitions: 11475748
Choices: 6350470
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.4956864/tmpgfoosi4_storm_from-jani_to-drn-gz_sparse_wlan.6-0_tmp_outdir_/model.drn.gz'.
Time for model export: 6.923s.
Performance statistics:
* peak memory usage: 1029MB
* CPU time: 22.989s
* wallclock time: 23.368s
############################## Output files ##############################
model.drn.gz: Size of output file is 46703950 bytes
Log file: storm_from-jani_to-drn-gz_sparse_wlan.6-0_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 22.500 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:23:19 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957093/tmpyifrz4ahstorm_from-jani_to-drn-gz_sparse_wlan.6-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957093/tmpf7jiy1wdstorm_from-jani_to-drn-gz_sparse_wlan.6-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: 15.651s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 5007548
Transitions: 11475748
Choices: 6350470
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.4957093/tmpf7jiy1wdstorm_from-jani_to-drn-gz_sparse_wlan.6-0_tmp_outdir_/model.drn.gz'.
Time for model export: 6.800s.
Performance statistics:
* peak memory usage: 1029MB
* CPU time: 22.194s
* wallclock time: 22.464s
############################## Output files ##############################
model.drn.gz: Size of output file is 46703950 bytes