Log files for model egl.10-2 and tool configuration storm_from-jani_to-umb_sparse
[1.138, 1.356, 1.222, 1.171, 1.163]
Log file: storm_from-jani_to-umb_sparse_egl.10-2_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 313.480 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:31:14 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955001/tmp3v3bq4gbstorm_from-jani_to-umb_sparse_egl.10-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955001/tmpj25_3931storm_from-jani_to-umb_sparse_egl.10-2_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
Time for model construction: 312.291s.
--------------------------------------------------------------
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.4955001/tmpj25_3931storm_from-jani_to-umb_sparse_egl.10-2_tmp_outdir_/model.umb'.
Time for model export: 1.138s.
Performance statistics:
* peak memory usage: 6651MB
* CPU time: 310.848s
* wallclock time: 313.444s
############################## Output files ##############################
model.umb: Size of output file is 1635265536 bytes
Log file: storm_from-jani_to-umb_sparse_egl.10-2_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 328.041 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:22:09 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957052/tmp9i9os_nqstorm_from-jani_to-umb_sparse_egl.10-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957052/tmp5ct2kcnnstorm_from-jani_to-umb_sparse_egl.10-2_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.006s.
Time for model construction: 326.424s.
--------------------------------------------------------------
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.4957052/tmp5ct2kcnnstorm_from-jani_to-umb_sparse_egl.10-2_tmp_outdir_/model.umb'.
Time for model export: 1.356s.
Performance statistics:
* peak memory usage: 6651MB
* CPU time: 324.672s
* wallclock time: 327.799s
############################## Output files ##############################
model.umb: Size of output file is 1635265536 bytes
Log file: storm_from-jani_to-umb_sparse_egl.10-2_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 317.883 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:30:06 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954947/tmpg1iv811cstorm_from-jani_to-umb_sparse_egl.10-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954947/tmpdeqg3238storm_from-jani_to-umb_sparse_egl.10-2_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
Time for model construction: 316.137s.
--------------------------------------------------------------
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.4954947/tmpdeqg3238storm_from-jani_to-umb_sparse_egl.10-2_tmp_outdir_/model.umb'.
Time for model export: 1.222s.
Performance statistics:
* peak memory usage: 6650MB
* CPU time: 314.443s
* wallclock time: 317.376s
############################## Output files ##############################
model.umb: Size of output file is 1635265536 bytes
Log file: storm_from-jani_to-umb_sparse_egl.10-2_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 326.045 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:35:50 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955181/tmpwf0953isstorm_from-jani_to-umb_sparse_egl.10-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955181/tmp8j3is49sstorm_from-jani_to-umb_sparse_egl.10-2_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
Time for model construction: 324.715s.
--------------------------------------------------------------
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.4955181/tmp8j3is49sstorm_from-jani_to-umb_sparse_egl.10-2_tmp_outdir_/model.umb'.
Time for model export: 1.171s.
Performance statistics:
* peak memory usage: 6651MB
* CPU time: 323.284s
* wallclock time: 325.901s
############################## Output files ##############################
model.umb: Size of output file is 1635265536 bytes
Log file: storm_from-jani_to-umb_sparse_egl.10-2_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 317.854 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:07:41 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956484/tmplivw78yestorm_from-jani_to-umb_sparse_egl.10-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956484/tmp1iqhpie2storm_from-jani_to-umb_sparse_egl.10-2_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
Time for model construction: 316.642s.
--------------------------------------------------------------
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.4956484/tmp1iqhpie2storm_from-jani_to-umb_sparse_egl.10-2_tmp_outdir_/model.umb'.
Time for model export: 1.163s.
Performance statistics:
* peak memory usage: 6651MB
* CPU time: 314.782s
* wallclock time: 317.820s
############################## Output files ##############################
model.umb: Size of output file is 1635265536 bytes