Log files for model speed-ind.2100 and tool configuration storm_from-jani_to-umb-gz_sparse
[5.771, 5.594, 5.601, 5.596, 5.756]
Log file: storm_from-jani_to-umb-gz_sparse_speed-ind.2100_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 10.245 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.4956519/tmpnplgp6gkstorm_from-jani_to-umb-gz_sparse_speed-ind.2100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956519/tmpit85zuh1storm_from-jani_to-umb-gz_sparse_speed-ind.2100_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.009s.
Time for model construction: 4.432s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 743424
Transitions: 9518080
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 24576 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956519/tmpit85zuh1storm_from-jani_to-umb-gz_sparse_speed-ind.2100_tmp_outdir_/model.umb.gz'.
Time for model export: 5.771s.
Performance statistics:
* peak memory usage: 355MB
* CPU time: 10.091s
* wallclock time: 10.214s
############################## Output files ##############################
model.umb.gz: Size of output file is 69649989 bytes
Log file: storm_from-jani_to-umb-gz_sparse_speed-ind.2100_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 9.936 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:09:30 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956553/tmpfasyre5istorm_from-jani_to-umb-gz_sparse_speed-ind.2100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956553/tmp6uvnqo2xstorm_from-jani_to-umb-gz_sparse_speed-ind.2100_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.009s.
Time for model construction: 4.299s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 743424
Transitions: 9518080
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 24576 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956553/tmp6uvnqo2xstorm_from-jani_to-umb-gz_sparse_speed-ind.2100_tmp_outdir_/model.umb.gz'.
Time for model export: 5.594s.
Performance statistics:
* peak memory usage: 355MB
* CPU time: 9.794s
* wallclock time: 9.905s
############################## Output files ##############################
model.umb.gz: Size of output file is 69649989 bytes
Log file: storm_from-jani_to-umb-gz_sparse_speed-ind.2100_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 9.952 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:13:36 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956674/tmpd4kqfgexstorm_from-jani_to-umb-gz_sparse_speed-ind.2100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956674/tmpges5mh4ustorm_from-jani_to-umb-gz_sparse_speed-ind.2100_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.008s.
Time for model construction: 4.316s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 743424
Transitions: 9518080
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 24576 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956674/tmpges5mh4ustorm_from-jani_to-umb-gz_sparse_speed-ind.2100_tmp_outdir_/model.umb.gz'.
Time for model export: 5.601s.
Performance statistics:
* peak memory usage: 355MB
* CPU time: 9.799s
* wallclock time: 9.928s
############################## Output files ##############################
model.umb.gz: Size of output file is 69649984 bytes
Log file: storm_from-jani_to-umb-gz_sparse_speed-ind.2100_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 10.231 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:32:23 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955052/tmp0eg7zd6ustorm_from-jani_to-umb-gz_sparse_speed-ind.2100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955052/tmpn3wyb3dzstorm_from-jani_to-umb-gz_sparse_speed-ind.2100_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.008s.
Time for model construction: 4.593s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 743424
Transitions: 9518080
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 24576 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955052/tmpn3wyb3dzstorm_from-jani_to-umb-gz_sparse_speed-ind.2100_tmp_outdir_/model.umb.gz'.
Time for model export: 5.596s.
Performance statistics:
* peak memory usage: 355MB
* CPU time: 10.076s
* wallclock time: 10.200s
############################## Output files ##############################
model.umb.gz: Size of output file is 69649988 bytes
Log file: storm_from-jani_to-umb-gz_sparse_speed-ind.2100_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.gz umb --compression gzip
Wallclock time: 10.356 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:46:11 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957868/tmpfgv78df5storm_from-jani_to-umb-gz_sparse_speed-ind.2100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957868/tmpcgs_b7uestorm_from-jani_to-umb-gz_sparse_speed-ind.2100_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.009s.
Time for model construction: 4.558s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 743424
Transitions: 9518080
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 24576 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957868/tmpcgs_b7uestorm_from-jani_to-umb-gz_sparse_speed-ind.2100_tmp_outdir_/model.umb.gz'.
Time for model export: 5.756s.
Performance statistics:
* peak memory usage: 354MB
* CPU time: 10.202s
* wallclock time: 10.326s
############################## Output files ##############################
model.umb.gz: Size of output file is 69649988 bytes