Log files for model crowds.5-20 and tool configuration storm_from-jani_to-drn-gz_sparse
[3.278, 3.666, 3.609, 3.612, 3.631]
Log file: storm_from-jani_to-drn-gz_sparse_crowds.5-20_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 8.664 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:04:11 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956320/tmpk2ksvjncstorm_from-jani_to-drn-gz_sparse_crowds.5-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956320/tmp2q3vzd78storm_from-jani_to-drn-gz_sparse_crowds.5-20_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 5.360s.
--------------------------------------------------------------
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.4956320/tmp2q3vzd78storm_from-jani_to-drn-gz_sparse_crowds.5-20_tmp_outdir_/model.drn.gz'.
Time for model export: 3.278s.
Performance statistics:
* peak memory usage: 529MB
* CPU time: 8.524s
* wallclock time: 8.643s
############################## Output files ##############################
model.drn.gz: Size of output file is 13958502 bytes
Log file: storm_from-jani_to-drn-gz_sparse_crowds.5-20_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 9.778 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:15:56 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956759/tmp92v929ahstorm_from-jani_to-drn-gz_sparse_crowds.5-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956759/tmpvnwp_qy3storm_from-jani_to-drn-gz_sparse_crowds.5-20_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 6.080s.
--------------------------------------------------------------
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.4956759/tmpvnwp_qy3storm_from-jani_to-drn-gz_sparse_crowds.5-20_tmp_outdir_/model.drn.gz'.
Time for model export: 3.666s.
Performance statistics:
* peak memory usage: 530MB
* CPU time: 9.608s
* wallclock time: 9.751s
############################## Output files ##############################
model.drn.gz: Size of output file is 13958502 bytes
Log file: storm_from-jani_to-drn-gz_sparse_crowds.5-20_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 9.466 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.4957679/tmpmj12dnz4storm_from-jani_to-drn-gz_sparse_crowds.5-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957679/tmpmvnbl3ykstorm_from-jani_to-drn-gz_sparse_crowds.5-20_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 5.819s.
--------------------------------------------------------------
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.4957679/tmpmvnbl3ykstorm_from-jani_to-drn-gz_sparse_crowds.5-20_tmp_outdir_/model.drn.gz'.
Time for model export: 3.609s.
Performance statistics:
* peak memory usage: 530MB
* CPU time: 9.306s
* wallclock time: 9.433s
############################## Output files ##############################
model.drn.gz: Size of output file is 13958502 bytes
Log file: storm_from-jani_to-drn-gz_sparse_crowds.5-20_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 9.626 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.4957288/tmpk19aftwlstorm_from-jani_to-drn-gz_sparse_crowds.5-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957288/tmpwgbn7hdtstorm_from-jani_to-drn-gz_sparse_crowds.5-20_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 5.977s.
--------------------------------------------------------------
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.4957288/tmpwgbn7hdtstorm_from-jani_to-drn-gz_sparse_crowds.5-20_tmp_outdir_/model.drn.gz'.
Time for model export: 3.612s.
Performance statistics:
* peak memory usage: 530MB
* CPU time: 9.456s
* wallclock time: 9.595s
############################## Output files ##############################
model.drn.gz: Size of output file is 13958502 bytes
Log file: storm_from-jani_to-drn-gz_sparse_crowds.5-20_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 10.165 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:53:37 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955891/tmpf_6_51rnstorm_from-jani_to-drn-gz_sparse_crowds.5-20_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955891/tmpjwe_n_exstorm_from-jani_to-drn-gz_sparse_crowds.5-20_tmp_outdir_/model.drn.gz drn --compression gzip
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 5.876s.
--------------------------------------------------------------
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.4955891/tmpjwe_n_exstorm_from-jani_to-drn-gz_sparse_crowds.5-20_tmp_outdir_/model.drn.gz'.
Time for model export: 3.631s.
Performance statistics:
* peak memory usage: 530MB
* CPU time: 9.365s
* wallclock time: 9.513s
############################## Output files ##############################
model.drn.gz: Size of output file is 13958502 bytes