Log files for model wlan.5-0 and tool configuration storm_from-jani_to-umb-gz_sparse
[2.877, 2.584, 2.739, 2.584, 2.347]
Log file: storm_from-jani_to-umb-gz_sparse_wlan.5-0_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 7.347 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:54:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958182/tmpcgbnaquzstorm_from-jani_to-umb-gz_sparse_wlan.5-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958182/tmpdvq786hvstorm_from-jani_to-umb-gz_sparse_wlan.5-0_tmp_outdir_/model.umb.gz umb --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.006s.
Time for model construction: 4.431s.
--------------------------------------------------------------
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.4958182/tmpdvq786hvstorm_from-jani_to-umb-gz_sparse_wlan.5-0_tmp_outdir_/model.umb.gz'.
Time for model export: 2.877s.
Performance statistics:
* peak memory usage: 199MB
* CPU time: 7.237s
* wallclock time: 7.320s
############################## Output files ##############################
model.umb.gz: Size of output file is 9654595 bytes
Log file: storm_from-jani_to-umb-gz_sparse_wlan.5-0_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 6.714 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:57:08 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956042/tmpws01010estorm_from-jani_to-umb-gz_sparse_wlan.5-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956042/tmpjrzzh3clstorm_from-jani_to-umb-gz_sparse_wlan.5-0_tmp_outdir_/model.umb.gz umb --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.006s.
Time for model construction: 4.085s.
--------------------------------------------------------------
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.4956042/tmpjrzzh3clstorm_from-jani_to-umb-gz_sparse_wlan.5-0_tmp_outdir_/model.umb.gz'.
Time for model export: 2.584s.
Performance statistics:
* peak memory usage: 199MB
* CPU time: 6.626s
* wallclock time: 6.680s
############################## Output files ##############################
model.umb.gz: Size of output file is 9654579 bytes
Log file: storm_from-jani_to-umb-gz_sparse_wlan.5-0_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 7.501 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:58:28 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958331/tmpw2vdc07xstorm_from-jani_to-umb-gz_sparse_wlan.5-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958331/tmp1lnf5vq3storm_from-jani_to-umb-gz_sparse_wlan.5-0_tmp_outdir_/model.umb.gz umb --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.006s.
Time for model construction: 4.385s.
--------------------------------------------------------------
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.4958331/tmp1lnf5vq3storm_from-jani_to-umb-gz_sparse_wlan.5-0_tmp_outdir_/model.umb.gz'.
Time for model export: 2.739s.
Performance statistics:
* peak memory usage: 199MB
* CPU time: 7.057s
* wallclock time: 7.137s
############################## Output files ##############################
model.umb.gz: Size of output file is 9654579 bytes
Log file: storm_from-jani_to-umb-gz_sparse_wlan.5-0_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 6.621 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:18:11 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956890/tmp0q0k7zzzstorm_from-jani_to-umb-gz_sparse_wlan.5-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956890/tmppwmoev23storm_from-jani_to-umb-gz_sparse_wlan.5-0_tmp_outdir_/model.umb.gz umb --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.995s.
--------------------------------------------------------------
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.4956890/tmppwmoev23storm_from-jani_to-umb-gz_sparse_wlan.5-0_tmp_outdir_/model.umb.gz'.
Time for model export: 2.584s.
Performance statistics:
* peak memory usage: 199MB
* CPU time: 6.537s
* wallclock time: 6.590s
############################## Output files ##############################
model.umb.gz: Size of output file is 9654579 bytes
Log file: storm_from-jani_to-umb-gz_sparse_wlan.5-0_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 6.012 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:48:58 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955717/tmpx0_72nsbstorm_from-jani_to-umb-gz_sparse_wlan.5-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955717/tmp558xx1e_storm_from-jani_to-umb-gz_sparse_wlan.5-0_tmp_outdir_/model.umb.gz umb --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.627s.
--------------------------------------------------------------
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.4955717/tmp558xx1e_storm_from-jani_to-umb-gz_sparse_wlan.5-0_tmp_outdir_/model.umb.gz'.
Time for model export: 2.347s.
Performance statistics:
* peak memory usage: 199MB
* CPU time: 5.941s
* wallclock time: 5.984s
############################## Output files ##############################
model.umb.gz: Size of output file is 9654579 bytes