Log files for model crowds.5-20 and tool configuration storm_from-jani_to-umb_sparse
[0.091, 0.098, 0.091, 0.09, 0.088]
Log file: storm_from-jani_to-umb_sparse_crowds.5-20_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 6.720 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:40:24 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955378/tmpumtjb5hwstorm_from-jani_to-umb_sparse_crowds.5-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955378/tmpdav02wzkstorm_from-jani_to-umb_sparse_crowds.5-20_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 5.985s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 2061951
Transitions: 7374951
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 53130 item(s)
* target -> 45628 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955378/tmpdav02wzkstorm_from-jani_to-umb_sparse_crowds.5-20_tmp_outdir_/model.umb'.
Time for model export: 0.091s.
Performance statistics:
* peak memory usage: 327MB
* CPU time: 5.938s
* wallclock time: 6.083s
############################## Output files ##############################
model.umb: Size of output file is 135279104 bytes
Log file: storm_from-jani_to-umb_sparse_crowds.5-20_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 6.696 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:58:28 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958338/tmp2d9byoi1storm_from-jani_to-umb_sparse_crowds.5-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958338/tmptztpfhuwstorm_from-jani_to-umb_sparse_crowds.5-20_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 6.556s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 2061951
Transitions: 7374951
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 53130 item(s)
* target -> 45628 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958338/tmptztpfhuwstorm_from-jani_to-umb_sparse_crowds.5-20_tmp_outdir_/model.umb'.
Time for model export: 0.098s.
Performance statistics:
* peak memory usage: 327MB
* CPU time: 6.534s
* wallclock time: 6.659s
############################## Output files ##############################
model.umb: Size of output file is 135279104 bytes
Log file: storm_from-jani_to-umb_sparse_crowds.5-20_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 6.001 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:25:37 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957196/tmp93u0jofestorm_from-jani_to-umb_sparse_crowds.5-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957196/tmp750lxjt7storm_from-jani_to-umb_sparse_crowds.5-20_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 5.883s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 2061951
Transitions: 7374951
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 53130 item(s)
* target -> 45628 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957196/tmp750lxjt7storm_from-jani_to-umb_sparse_crowds.5-20_tmp_outdir_/model.umb'.
Time for model export: 0.091s.
Performance statistics:
* peak memory usage: 327MB
* CPU time: 5.868s
* wallclock time: 5.978s
############################## Output files ##############################
model.umb: Size of output file is 135279104 bytes
Log file: storm_from-jani_to-umb_sparse_crowds.5-20_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 5.930 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:26:51 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957244/tmpk19fcusjstorm_from-jani_to-umb_sparse_crowds.5-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957244/tmp15w_ueyastorm_from-jani_to-umb_sparse_crowds.5-20_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 5.806s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 2061951
Transitions: 7374951
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 53130 item(s)
* target -> 45628 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957244/tmp15w_ueyastorm_from-jani_to-umb_sparse_crowds.5-20_tmp_outdir_/model.umb'.
Time for model export: 0.090s.
Performance statistics:
* peak memory usage: 327MB
* CPU time: 5.795s
* wallclock time: 5.901s
############################## Output files ##############################
model.umb: Size of output file is 135279104 bytes
Log file: storm_from-jani_to-umb_sparse_crowds.5-20_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 5.921 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:46:12 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957873/tmp8z5dsjw5storm_from-jani_to-umb_sparse_crowds.5-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957873/tmpmmusx_ozstorm_from-jani_to-umb_sparse_crowds.5-20_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 5.802s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 2061951
Transitions: 7374951
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 53130 item(s)
* target -> 45628 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957873/tmpmmusx_ozstorm_from-jani_to-umb_sparse_crowds.5-20_tmp_outdir_/model.umb'.
Time for model export: 0.088s.
Performance statistics:
* peak memory usage: 327MB
* CPU time: 5.781s
* wallclock time: 5.895s
############################## Output files ##############################
model.umb: Size of output file is 135279104 bytes