Log files for model wlan.6-0 and tool configuration storm_from-jani_to-drn_sparse
[3.819, 3.792, 3.784, 3.915, 3.804]
Log file: storm_from-jani_to-drn_sparse_wlan.6-0_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 20.776 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:38:07 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955284/tmp7c92o_7mstorm_from-jani_to-drn_sparse_wlan.6-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955284/tmp7ilplljsstorm_from-jani_to-drn_sparse_wlan.6-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.009s.
Time for model construction: 16.434s.
--------------------------------------------------------------
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.4955284/tmp7ilplljsstorm_from-jani_to-drn_sparse_wlan.6-0_tmp_outdir_/model.drn'.
Time for model export: 3.819s.
Performance statistics:
* peak memory usage: 569MB
* CPU time: 19.931s
* wallclock time: 20.268s
############################## Output files ##############################
model.drn: Size of output file is 318628919 bytes
Log file: storm_from-jani_to-drn_sparse_wlan.6-0_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 19.633 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:51:35 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958048/tmpto1gox4zstorm_from-jani_to-drn_sparse_wlan.6-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958048/tmpwy2bh_p3storm_from-jani_to-drn_sparse_wlan.6-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.008s.
Time for model construction: 15.799s.
--------------------------------------------------------------
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.4958048/tmpwy2bh_p3storm_from-jani_to-drn_sparse_wlan.6-0_tmp_outdir_/model.drn'.
Time for model export: 3.792s.
Performance statistics:
* peak memory usage: 569MB
* CPU time: 19.346s
* wallclock time: 19.605s
############################## Output files ##############################
model.drn: Size of output file is 318628919 bytes
Log file: storm_from-jani_to-drn_sparse_wlan.6-0_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 19.491 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:41:33 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955431/tmpejz8v4egstorm_from-jani_to-drn_sparse_wlan.6-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955431/tmpksgao3n8storm_from-jani_to-drn_sparse_wlan.6-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.008s.
Time for model construction: 15.666s.
--------------------------------------------------------------
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.4955431/tmpksgao3n8storm_from-jani_to-drn_sparse_wlan.6-0_tmp_outdir_/model.drn'.
Time for model export: 3.784s.
Performance statistics:
* peak memory usage: 569MB
* CPU time: 19.214s
* wallclock time: 19.464s
############################## Output files ##############################
model.drn: Size of output file is 318628919 bytes
Log file: storm_from-jani_to-drn_sparse_wlan.6-0_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 20.649 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:39:49 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955348/tmpzliiqhgxstorm_from-jani_to-drn_sparse_wlan.6-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955348/tmpruetrumqstorm_from-jani_to-drn_sparse_wlan.6-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.009s.
Time for model construction: 16.691s.
--------------------------------------------------------------
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.4955348/tmpruetrumqstorm_from-jani_to-drn_sparse_wlan.6-0_tmp_outdir_/model.drn'.
Time for model export: 3.915s.
Performance statistics:
* peak memory usage: 569MB
* CPU time: 20.339s
* wallclock time: 20.621s
############################## Output files ##############################
model.drn: Size of output file is 318628919 bytes
Log file: storm_from-jani_to-drn_sparse_wlan.6-0_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 19.695 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:31:02 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957402/tmp74r1u32rstorm_from-jani_to-drn_sparse_wlan.6-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957402/tmp8ft0gslzstorm_from-jani_to-drn_sparse_wlan.6-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.008s.
Time for model construction: 15.841s.
--------------------------------------------------------------
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.4957402/tmp8ft0gslzstorm_from-jani_to-drn_sparse_wlan.6-0_tmp_outdir_/model.drn'.
Time for model export: 3.804s.
Performance statistics:
* peak memory usage: 569MB
* CPU time: 19.399s
* wallclock time: 19.660s
############################## Output files ##############################
model.drn: Size of output file is 318628919 bytes