Log files for model wlan.6-0 and tool configuration storm_from-jani_to-umb-xz_sparse
[52.564, 50.357, 51.709, 60.471, 54.479]
Log file: storm_from-jani_to-umb-xz_sparse_wlan.6-0_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 68.457 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:20:28 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956982/tmpaya5mij5storm_from-jani_to-umb-xz_sparse_wlan.6-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956982/tmpz8h78021storm_from-jani_to-umb-xz_sparse_wlan.6-0_tmp_outdir_/model.umb.xz umb --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.852s.
--------------------------------------------------------------
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.4956982/tmpz8h78021storm_from-jani_to-umb-xz_sparse_wlan.6-0_tmp_outdir_/model.umb.xz'.
Time for model export: 52.564s.
Performance statistics:
* peak memory usage: 689MB
* CPU time: 68.101s
* wallclock time: 68.430s
############################## Output files ##############################
model.umb.xz: Size of output file is 5697588 bytes
Log file: storm_from-jani_to-umb-xz_sparse_wlan.6-0_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 65.214 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:53:35 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955893/tmpt3agi8d0storm_from-jani_to-umb-xz_sparse_wlan.6-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955893/tmpyjhy9nxostorm_from-jani_to-umb-xz_sparse_wlan.6-0_tmp_outdir_/model.umb.xz umb --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.819s.
--------------------------------------------------------------
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.4955893/tmpyjhy9nxostorm_from-jani_to-umb-xz_sparse_wlan.6-0_tmp_outdir_/model.umb.xz'.
Time for model export: 50.357s.
Performance statistics:
* peak memory usage: 689MB
* CPU time: 64.865s
* wallclock time: 65.189s
############################## Output files ##############################
model.umb.xz: Size of output file is 5988804 bytes
Log file: storm_from-jani_to-umb-xz_sparse_wlan.6-0_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 68.029 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:04:46 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956351/tmpdy80smp0storm_from-jani_to-umb-xz_sparse_wlan.6-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956351/tmpurbfv88xstorm_from-jani_to-umb-xz_sparse_wlan.6-0_tmp_outdir_/model.umb.xz umb --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.272s.
--------------------------------------------------------------
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.4956351/tmpurbfv88xstorm_from-jani_to-umb-xz_sparse_wlan.6-0_tmp_outdir_/model.umb.xz'.
Time for model export: 51.709s.
Performance statistics:
* peak memory usage: 689MB
* CPU time: 67.658s
* wallclock time: 67.995s
############################## Output files ##############################
model.umb.xz: Size of output file is 6149720 bytes
Log file: storm_from-jani_to-umb-xz_sparse_wlan.6-0_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 77.019 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:58:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958333/tmps15j5fxfstorm_from-jani_to-umb-xz_sparse_wlan.6-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958333/tmp_emnwud3storm_from-jani_to-umb-xz_sparse_wlan.6-0_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.009s.
Time for model construction: 16.502s.
--------------------------------------------------------------
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.4958333/tmp_emnwud3storm_from-jani_to-umb-xz_sparse_wlan.6-0_tmp_outdir_/model.umb.xz'.
Time for model export: 60.471s.
Performance statistics:
* peak memory usage: 689MB
* CPU time: 76.586s
* wallclock time: 76.988s
############################## Output files ##############################
model.umb.xz: Size of output file is 5697588 bytes
Log file: storm_from-jani_to-umb-xz_sparse_wlan.6-0_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 70.624 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:43:14 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955489/tmp_iiqmtdmstorm_from-jani_to-umb-xz_sparse_wlan.6-0_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955489/tmpw689xsj6storm_from-jani_to-umb-xz_sparse_wlan.6-0_tmp_outdir_/model.umb.xz umb --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.103s.
--------------------------------------------------------------
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.4955489/tmpw689xsj6storm_from-jani_to-umb-xz_sparse_wlan.6-0_tmp_outdir_/model.umb.xz'.
Time for model export: 54.479s.
Performance statistics:
* peak memory usage: 689MB
* CPU time: 70.246s
* wallclock time: 70.595s
############################## Output files ##############################
model.umb.xz: Size of output file is 5988804 bytes