Log files for model crowds.6-20 and tool configuration storm_from-jani_to-umb-xz_sparse
[72.949, 81.933, 82.731, 72.853, 72.522]
Log file: storm_from-jani_to-umb-xz_sparse_crowds.6-20_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 103.517 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:56:32 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956025/tmpdtzb9fvlstorm_from-jani_to-umb-xz_sparse_crowds.6-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956025/tmpgasjlmxestorm_from-jani_to-umb-xz_sparse_crowds.6-20_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.002s.
Time for model construction: 30.534s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 10633591
Transitions: 38261191
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 230230 item(s)
* target -> 352935 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956025/tmpgasjlmxestorm_from-jani_to-umb-xz_sparse_crowds.6-20_tmp_outdir_/model.umb.xz'.
Time for model export: 72.949s.
Performance statistics:
* peak memory usage: 1555MB
* CPU time: 102.870s
* wallclock time: 103.489s
############################## Output files ##############################
model.umb.xz: Size of output file is 12124156 bytes
Log file: storm_from-jani_to-umb-xz_sparse_crowds.6-20_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 113.219 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:18:46 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956910/tmpyovv9tulstorm_from-jani_to-umb-xz_sparse_crowds.6-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956910/tmpmrykzb37storm_from-jani_to-umb-xz_sparse_crowds.6-20_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.002s.
Time for model construction: 31.251s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 10633591
Transitions: 38261191
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 230230 item(s)
* target -> 352935 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956910/tmpmrykzb37storm_from-jani_to-umb-xz_sparse_crowds.6-20_tmp_outdir_/model.umb.xz'.
Time for model export: 81.933s.
Performance statistics:
* peak memory usage: 1555MB
* CPU time: 112.382s
* wallclock time: 113.190s
############################## Output files ##############################
model.umb.xz: Size of output file is 11994032 bytes
Log file: storm_from-jani_to-umb-xz_sparse_crowds.6-20_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 114.564 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:22:45 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957076/tmpv1nmun0cstorm_from-jani_to-umb-xz_sparse_crowds.6-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957076/tmpu5g8ks94storm_from-jani_to-umb-xz_sparse_crowds.6-20_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.002s.
Time for model construction: 31.791s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 10633591
Transitions: 38261191
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 230230 item(s)
* target -> 352935 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957076/tmpu5g8ks94storm_from-jani_to-umb-xz_sparse_crowds.6-20_tmp_outdir_/model.umb.xz'.
Time for model export: 82.731s.
Performance statistics:
* peak memory usage: 1555MB
* CPU time: 113.725s
* wallclock time: 114.529s
############################## Output files ##############################
model.umb.xz: Size of output file is 12124156 bytes
Log file: storm_from-jani_to-umb-xz_sparse_crowds.6-20_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 103.299 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:25:03 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957165/tmpwkrwbcw0storm_from-jani_to-umb-xz_sparse_crowds.6-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957165/tmpe_dct5jtstorm_from-jani_to-umb-xz_sparse_crowds.6-20_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.002s.
Time for model construction: 30.412s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 10633591
Transitions: 38261191
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 230230 item(s)
* target -> 352935 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957165/tmpe_dct5jtstorm_from-jani_to-umb-xz_sparse_crowds.6-20_tmp_outdir_/model.umb.xz'.
Time for model export: 72.853s.
Performance statistics:
* peak memory usage: 1555MB
* CPU time: 102.558s
* wallclock time: 103.272s
############################## Output files ##############################
model.umb.xz: Size of output file is 11944236 bytes
Log file: storm_from-jani_to-umb-xz_sparse_crowds.6-20_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 103.140 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:28:03 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957300/tmpxue62as5storm_from-jani_to-umb-xz_sparse_crowds.6-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957300/tmps1xorho1storm_from-jani_to-umb-xz_sparse_crowds.6-20_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.002s.
Time for model construction: 30.580s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 10633591
Transitions: 38261191
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 230230 item(s)
* target -> 352935 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957300/tmps1xorho1storm_from-jani_to-umb-xz_sparse_crowds.6-20_tmp_outdir_/model.umb.xz'.
Time for model export: 72.522s.
Performance statistics:
* peak memory usage: 1554MB
* CPU time: 102.433s
* wallclock time: 103.108s
############################## Output files ##############################
model.umb.xz: Size of output file is 11990940 bytes