Log files for model zeroconf.1000-8-false and tool configuration storm_from-jani_to-umb-gz_sparse
[4.23, 4.292, 4.231, 4.243, 4.212]
Log file: storm_from-jani_to-umb-gz_sparse_zeroconf.1000-8-false_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 10.145 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:21:36 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955911/tmp7vl9hyiastorm_from-jani_to-umb-gz_sparse_zeroconf.1000-8-false_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955911/tmpb7i7snxqstorm_from-jani_to-umb-gz_sparse_zeroconf.1000-8-false_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.002s.
Time for model construction: 5.581s.
--------------------------------------------------------------
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.4955911/tmpb7i7snxqstorm_from-jani_to-umb-gz_sparse_zeroconf.1000-8-false_tmp_outdir_/model.umb.gz'.
Time for model export: 4.230s.
Performance statistics:
* peak memory usage: 298MB
* CPU time: 9.722s
* wallclock time: 9.818s
############################## Output files ##############################
model.umb.gz: Size of output file is 17096609 bytes
Log file: storm_from-jani_to-umb-gz_sparse_zeroconf.1000-8-false_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 10.164 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:04:45 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956340/tmpoj9r53fkstorm_from-jani_to-umb-gz_sparse_zeroconf.1000-8-false_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956340/tmpy5ofq2n2storm_from-jani_to-umb-gz_sparse_zeroconf.1000-8-false_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.002s.
Time for model construction: 5.837s.
--------------------------------------------------------------
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.4956340/tmpy5ofq2n2storm_from-jani_to-umb-gz_sparse_zeroconf.1000-8-false_tmp_outdir_/model.umb.gz'.
Time for model export: 4.292s.
Performance statistics:
* peak memory usage: 298MB
* CPU time: 10.050s
* wallclock time: 10.135s
############################## Output files ##############################
model.umb.gz: Size of output file is 17096606 bytes
Log file: storm_from-jani_to-umb-gz_sparse_zeroconf.1000-8-false_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 9.792 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:44:29 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957856/tmps_870k_pstorm_from-jani_to-umb-gz_sparse_zeroconf.1000-8-false_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957856/tmp2_3jm9lxstorm_from-jani_to-umb-gz_sparse_zeroconf.1000-8-false_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.002s.
Time for model construction: 5.525s.
--------------------------------------------------------------
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.4957856/tmp2_3jm9lxstorm_from-jani_to-umb-gz_sparse_zeroconf.1000-8-false_tmp_outdir_/model.umb.gz'.
Time for model export: 4.231s.
Performance statistics:
* peak memory usage: 298MB
* CPU time: 9.679s
* wallclock time: 9.762s
############################## Output files ##############################
model.umb.gz: Size of output file is 17096601 bytes
Log file: storm_from-jani_to-umb-gz_sparse_zeroconf.1000-8-false_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 9.843 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:19:53 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956961/tmptirnbnijstorm_from-jani_to-umb-gz_sparse_zeroconf.1000-8-false_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956961/tmp_3zz31_lstorm_from-jani_to-umb-gz_sparse_zeroconf.1000-8-false_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.002s.
Time for model construction: 5.559s.
--------------------------------------------------------------
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.4956961/tmp_3zz31_lstorm_from-jani_to-umb-gz_sparse_zeroconf.1000-8-false_tmp_outdir_/model.umb.gz'.
Time for model export: 4.243s.
Performance statistics:
* peak memory usage: 298MB
* CPU time: 9.710s
* wallclock time: 9.808s
############################## Output files ##############################
model.umb.gz: Size of output file is 17096604 bytes
Log file: storm_from-jani_to-umb-gz_sparse_zeroconf.1000-8-false_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 9.883 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:48:24 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955687/tmp445wbnw9storm_from-jani_to-umb-gz_sparse_zeroconf.1000-8-false_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955687/tmp6hj2z6lfstorm_from-jani_to-umb-gz_sparse_zeroconf.1000-8-false_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.002s.
Time for model construction: 5.633s.
--------------------------------------------------------------
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.4955687/tmp6hj2z6lfstorm_from-jani_to-umb-gz_sparse_zeroconf.1000-8-false_tmp_outdir_/model.umb.gz'.
Time for model export: 4.212s.
Performance statistics:
* peak memory usage: 298MB
* CPU time: 9.761s
* wallclock time: 9.851s
############################## Output files ##############################
model.umb.gz: Size of output file is 17096606 bytes