Log files for model egl.10-2 and tool configuration storm_from-jani_to-umb-xz_sparse
[271.701, 274.301, 267.913, 274.169, 257.839]
Log file: storm_from-jani_to-umb-xz_sparse_egl.10-2_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 586.228 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:40:16 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957673/tmp9bs31n1ostorm_from-jani_to-umb-xz_sparse_egl.10-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957673/tmpbrlicpwrstorm_from-jani_to-umb-xz_sparse_egl.10-2_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.004s.
Time for model construction: 314.476s.
--------------------------------------------------------------
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.4957673/tmpbrlicpwrstorm_from-jani_to-umb-xz_sparse_egl.10-2_tmp_outdir_/model.umb.xz'.
Time for model export: 271.701s.
Performance statistics:
* peak memory usage: 6650MB
* CPU time: 583.037s
* wallclock time: 586.192s
############################## Output files ##############################
model.umb.xz: Size of output file is 32373312 bytes
Log file: storm_from-jani_to-umb-xz_sparse_egl.10-2_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 595.733 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:56:44 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958266/tmp9xrzsq8zstorm_from-jani_to-umb-xz_sparse_egl.10-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958266/tmp6fpr2bblstorm_from-jani_to-umb-xz_sparse_egl.10-2_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.004s.
Time for model construction: 321.384s.
--------------------------------------------------------------
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.4958266/tmp6fpr2bblstorm_from-jani_to-umb-xz_sparse_egl.10-2_tmp_outdir_/model.umb.xz'.
Time for model export: 274.301s.
Performance statistics:
* peak memory usage: 6650MB
* CPU time: 592.109s
* wallclock time: 595.702s
############################## Output files ##############################
model.umb.xz: Size of output file is 32374692 bytes
Log file: storm_from-jani_to-umb-xz_sparse_egl.10-2_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 582.749 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:47:16 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955652/tmp07f419sjstorm_from-jani_to-umb-xz_sparse_egl.10-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955652/tmp_8wkdsc6storm_from-jani_to-umb-xz_sparse_egl.10-2_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.004s.
Time for model construction: 314.791s.
--------------------------------------------------------------
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.4955652/tmp_8wkdsc6storm_from-jani_to-umb-xz_sparse_egl.10-2_tmp_outdir_/model.umb.xz'.
Time for model export: 267.913s.
Performance statistics:
* peak memory usage: 6651MB
* CPU time: 579.713s
* wallclock time: 582.719s
############################## Output files ##############################
model.umb.xz: Size of output file is 32375032 bytes
Log file: storm_from-jani_to-umb-xz_sparse_egl.10-2_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 591.658 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:46:46 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957897/tmpgis0l_5cstorm_from-jani_to-umb-xz_sparse_egl.10-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957897/tmp2bfiv7rxstorm_from-jani_to-umb-xz_sparse_egl.10-2_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.005s.
Time for model construction: 317.439s.
--------------------------------------------------------------
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.4957897/tmp2bfiv7rxstorm_from-jani_to-umb-xz_sparse_egl.10-2_tmp_outdir_/model.umb.xz'.
Time for model export: 274.169s.
Performance statistics:
* peak memory usage: 6650MB
* CPU time: 588.051s
* wallclock time: 591.623s
############################## Output files ##############################
model.umb.xz: Size of output file is 32373512 bytes
Log file: storm_from-jani_to-umb-xz_sparse_egl.10-2_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 571.989 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:08:51 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956522/tmp5p2ewjcdstorm_from-jani_to-umb-xz_sparse_egl.10-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956522/tmp_pr46fj_storm_from-jani_to-umb-xz_sparse_egl.10-2_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.004s.
Time for model construction: 314.101s.
--------------------------------------------------------------
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.4956522/tmp_pr46fj_storm_from-jani_to-umb-xz_sparse_egl.10-2_tmp_outdir_/model.umb.xz'.
Time for model export: 257.839s.
Performance statistics:
* peak memory usage: 6650MB
* CPU time: 568.743s
* wallclock time: 571.954s
############################## Output files ##############################
model.umb.xz: Size of output file is 32373512 bytes