Log files for model egl.10-2 and tool configuration storm_from-jani_to-umb-gz_sparse
[61.09, 60.969, 60.958, 61.592, 56.381]
Log file: storm_from-jani_to-umb-gz_sparse_egl.10-2_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 375.477 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:47:54 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957942/tmpmcgayp0sstorm_from-jani_to-umb-gz_sparse_egl.10-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957942/tmpoblh3tcystorm_from-jani_to-umb-gz_sparse_egl.10-2_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.005s.
Time for model construction: 314.337s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 66060286
Transitions: 67108861
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* knowB -> 36680703 item(s)
* knowA -> 40865279 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957942/tmpoblh3tcystorm_from-jani_to-umb-gz_sparse_egl.10-2_tmp_outdir_/model.umb.gz'.
Time for model export: 61.090s.
Performance statistics:
* peak memory usage: 6651MB
* CPU time: 372.705s
* wallclock time: 375.443s
############################## Output files ##############################
model.umb.gz: Size of output file is 202238602 bytes
Log file: storm_from-jani_to-umb-gz_sparse_egl.10-2_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 369.169 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.4956349/tmpne1k66y_storm_from-jani_to-umb-gz_sparse_egl.10-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956349/tmpfl1gk3zrstorm_from-jani_to-umb-gz_sparse_egl.10-2_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.004s.
Time for model construction: 308.152s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 66060286
Transitions: 67108861
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* knowB -> 36680703 item(s)
* knowA -> 40865279 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956349/tmpfl1gk3zrstorm_from-jani_to-umb-gz_sparse_egl.10-2_tmp_outdir_/model.umb.gz'.
Time for model export: 60.969s.
Performance statistics:
* peak memory usage: 6651MB
* CPU time: 366.951s
* wallclock time: 369.135s
############################## Output files ##############################
model.umb.gz: Size of output file is 202238396 bytes
Log file: storm_from-jani_to-umb-gz_sparse_egl.10-2_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 369.133 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:21:35 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957021/tmpmjvz0xi_storm_from-jani_to-umb-gz_sparse_egl.10-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957021/tmpvnfgwxxystorm_from-jani_to-umb-gz_sparse_egl.10-2_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.004s.
Time for model construction: 308.130s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 66060286
Transitions: 67108861
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* knowB -> 36680703 item(s)
* knowA -> 40865279 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957021/tmpvnfgwxxystorm_from-jani_to-umb-gz_sparse_egl.10-2_tmp_outdir_/model.umb.gz'.
Time for model export: 60.958s.
Performance statistics:
* peak memory usage: 6650MB
* CPU time: 366.856s
* wallclock time: 369.103s
############################## Output files ##############################
model.umb.gz: Size of output file is 202238601 bytes
Log file: storm_from-jani_to-umb-gz_sparse_egl.10-2_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 382.148 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:37:08 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957585/tmp5djvh479storm_from-jani_to-umb-gz_sparse_egl.10-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957585/tmpx5c7q96mstorm_from-jani_to-umb-gz_sparse_egl.10-2_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.006s.
Time for model construction: 319.784s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 66060286
Transitions: 67108861
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* knowB -> 36680703 item(s)
* knowA -> 40865279 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957585/tmpx5c7q96mstorm_from-jani_to-umb-gz_sparse_egl.10-2_tmp_outdir_/model.umb.gz'.
Time for model export: 61.592s.
Performance statistics:
* peak memory usage: 6651MB
* CPU time: 378.256s
* wallclock time: 381.395s
############################## Output files ##############################
model.umb.gz: Size of output file is 202238602 bytes
Log file: storm_from-jani_to-umb-gz_sparse_egl.10-2_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 350.834 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:17:38 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956856/tmpgvu5kzh4storm_from-jani_to-umb-gz_sparse_egl.10-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956856/tmp8zqk_xybstorm_from-jani_to-umb-gz_sparse_egl.10-2_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.004s.
Time for model construction: 294.358s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 66060286
Transitions: 67108861
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* knowB -> 36680703 item(s)
* knowA -> 40865279 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956856/tmp8zqk_xybstorm_from-jani_to-umb-gz_sparse_egl.10-2_tmp_outdir_/model.umb.gz'.
Time for model export: 56.381s.
Performance statistics:
* peak memory usage: 6650MB
* CPU time: 344.178s
* wallclock time: 350.800s
############################## Output files ##############################
model.umb.gz: Size of output file is 202238601 bytes