Log files for model wlan.6-0 and tool configuration storm_from-jani_to-drn-xz_sparse
[108.919, 112.42, 109.874, 104.42, 143.913]
Log file: storm_from-jani_to-drn-xz_sparse_wlan.6-0_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 124.802 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:21:02 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957006/tmpjk6abs8fstorm_from-jani_to-drn-xz_sparse_wlan.6-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957006/tmpkws7n4oystorm_from-jani_to-drn-xz_sparse_wlan.6-0_tmp_outdir_/model.drn.xz drn --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.008s.
Time for model construction: 15.834s.
--------------------------------------------------------------
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.4957006/tmpkws7n4oystorm_from-jani_to-drn-xz_sparse_wlan.6-0_tmp_outdir_/model.drn.xz'.
Time for model export: 108.919s.
Performance statistics:
* peak memory usage: 1094MB
* CPU time: 124.185s
* wallclock time: 124.767s
############################## Output files ##############################
model.drn.xz: Size of output file is 8966956 bytes
Log file: storm_from-jani_to-drn-xz_sparse_wlan.6-0_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 129.320 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:30:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957384/tmp8cdtvg3lstorm_from-jani_to-drn-xz_sparse_wlan.6-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957384/tmp5wsmb133storm_from-jani_to-drn-xz_sparse_wlan.6-0_tmp_outdir_/model.drn.xz drn --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.073s.
Time for model construction: 16.161s.
--------------------------------------------------------------
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.4957384/tmp5wsmb133storm_from-jani_to-drn-xz_sparse_wlan.6-0_tmp_outdir_/model.drn.xz'.
Time for model export: 112.420s.
Performance statistics:
* peak memory usage: 1094MB
* CPU time: 127.986s
* wallclock time: 128.659s
############################## Output files ##############################
model.drn.xz: Size of output file is 8966956 bytes
Log file: storm_from-jani_to-drn-xz_sparse_wlan.6-0_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 125.788 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:14:47 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956722/tmp4x7yin3nstorm_from-jani_to-drn-xz_sparse_wlan.6-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956722/tmpgm10hn2ostorm_from-jani_to-drn-xz_sparse_wlan.6-0_tmp_outdir_/model.drn.xz drn --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.008s.
Time for model construction: 15.867s.
--------------------------------------------------------------
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.4956722/tmpgm10hn2ostorm_from-jani_to-drn-xz_sparse_wlan.6-0_tmp_outdir_/model.drn.xz'.
Time for model export: 109.874s.
Performance statistics:
* peak memory usage: 1094MB
* CPU time: 125.112s
* wallclock time: 125.754s
############################## Output files ##############################
model.drn.xz: Size of output file is 8966956 bytes
Log file: storm_from-jani_to-drn-xz_sparse_wlan.6-0_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 119.202 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.4958462/tmpxn5e1ljvstorm_from-jani_to-drn-xz_sparse_wlan.6-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958462/tmpzhgfr415storm_from-jani_to-drn-xz_sparse_wlan.6-0_tmp_outdir_/model.drn.xz drn --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.008s.
Time for model construction: 14.744s.
--------------------------------------------------------------
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.4958462/tmpzhgfr415storm_from-jani_to-drn-xz_sparse_wlan.6-0_tmp_outdir_/model.drn.xz'.
Time for model export: 104.420s.
Performance statistics:
* peak memory usage: 1094MB
* CPU time: 118.540s
* wallclock time: 119.178s
############################## Output files ##############################
model.drn.xz: Size of output file is 8966956 bytes
Log file: storm_from-jani_to-drn-xz_sparse_wlan.6-0_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 160.523 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:23:54 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957114/tmpgra8nurjstorm_from-jani_to-drn-xz_sparse_wlan.6-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957114/tmpjo1vyriustorm_from-jani_to-drn-xz_sparse_wlan.6-0_tmp_outdir_/model.drn.xz drn --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.008s.
Time for model construction: 16.565s.
--------------------------------------------------------------
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.4957114/tmpjo1vyriustorm_from-jani_to-drn-xz_sparse_wlan.6-0_tmp_outdir_/model.drn.xz'.
Time for model export: 143.913s.
Performance statistics:
* peak memory usage: 1094MB
* CPU time: 159.686s
* wallclock time: 160.492s
############################## Output files ##############################
model.drn.xz: Size of output file is 8966956 bytes