Log files for model zeroconf.1000-8-false and tool configuration storm_from-jani_to-umb-xz_sparse
[24.281, 30.128, 25.009, 28.716, 25.089]
Log file: storm_from-jani_to-umb-xz_sparse_zeroconf.1000-8-false_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 29.400 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:48:59 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955725/tmp0xgdmnftstorm_from-jani_to-umb-xz_sparse_zeroconf.1000-8-false_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955725/tmpuy8b0m42storm_from-jani_to-umb-xz_sparse_zeroconf.1000-8-false_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.002s.
Time for model construction: 5.085s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1870338
Transitions: 4245554
Choices: 3443961
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 16523 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955725/tmpuy8b0m42storm_from-jani_to-umb-xz_sparse_zeroconf.1000-8-false_tmp_outdir_/model.umb.xz'.
Time for model export: 24.281s.
Performance statistics:
* peak memory usage: 351MB
* CPU time: 29.244s
* wallclock time: 29.372s
############################## Output files ##############################
model.umb.xz: Size of output file is 6999820 bytes
Log file: storm_from-jani_to-umb-xz_sparse_zeroconf.1000-8-false_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 36.065 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:25:03 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957175/tmprwcimxe2storm_from-jani_to-umb-xz_sparse_zeroconf.1000-8-false_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957175/tmpw09juridstorm_from-jani_to-umb-xz_sparse_zeroconf.1000-8-false_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.002s.
Time for model construction: 5.878s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1870338
Transitions: 4245554
Choices: 3443961
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 16523 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957175/tmpw09juridstorm_from-jani_to-umb-xz_sparse_zeroconf.1000-8-false_tmp_outdir_/model.umb.xz'.
Time for model export: 30.128s.
Performance statistics:
* peak memory usage: 351MB
* CPU time: 35.791s
* wallclock time: 36.012s
############################## Output files ##############################
model.umb.xz: Size of output file is 7000684 bytes
Log file: storm_from-jani_to-umb-xz_sparse_zeroconf.1000-8-false_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 30.940 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:55:21 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955978/tmppl2ukvbwstorm_from-jani_to-umb-xz_sparse_zeroconf.1000-8-false_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955978/tmpeo4dcm7rstorm_from-jani_to-umb-xz_sparse_zeroconf.1000-8-false_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.003s.
Time for model construction: 5.578s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1870338
Transitions: 4245554
Choices: 3443961
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 16523 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955978/tmpeo4dcm7rstorm_from-jani_to-umb-xz_sparse_zeroconf.1000-8-false_tmp_outdir_/model.umb.xz'.
Time for model export: 25.009s.
Performance statistics:
* peak memory usage: 351MB
* CPU time: 30.435s
* wallclock time: 30.595s
############################## Output files ##############################
model.umb.xz: Size of output file is 7000000 bytes
Log file: storm_from-jani_to-umb-xz_sparse_zeroconf.1000-8-false_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 34.586 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:28:57 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954900/tmpurihp4p1storm_from-jani_to-umb-xz_sparse_zeroconf.1000-8-false_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954900/tmp_3psjz4qstorm_from-jani_to-umb-xz_sparse_zeroconf.1000-8-false_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.002s.
Time for model construction: 5.840s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1870338
Transitions: 4245554
Choices: 3443961
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 16523 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4954900/tmp_3psjz4qstorm_from-jani_to-umb-xz_sparse_zeroconf.1000-8-false_tmp_outdir_/model.umb.xz'.
Time for model export: 28.716s.
Performance statistics:
* peak memory usage: 351MB
* CPU time: 34.382s
* wallclock time: 34.562s
############################## Output files ##############################
model.umb.xz: Size of output file is 7000000 bytes
Log file: storm_from-jani_to-umb-xz_sparse_zeroconf.1000-8-false_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 30.705 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:29:33 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954938/tmpw64cwsj0storm_from-jani_to-umb-xz_sparse_zeroconf.1000-8-false_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954938/tmpmigjsdcystorm_from-jani_to-umb-xz_sparse_zeroconf.1000-8-false_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.003s.
Time for model construction: 5.530s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1870338
Transitions: 4245554
Choices: 3443961
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 16523 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4954938/tmpmigjsdcystorm_from-jani_to-umb-xz_sparse_zeroconf.1000-8-false_tmp_outdir_/model.umb.xz'.
Time for model export: 25.089s.
Performance statistics:
* peak memory usage: 351MB
* CPU time: 30.461s
* wallclock time: 30.627s
############################## Output files ##############################
model.umb.xz: Size of output file is 7012888 bytes