Log files for model csma.3-4 and tool configuration storm_from-jani_to-drn-gz_sparse
[1.619, 1.608, 1.53, 1.617, 1.621]
Log file: storm_from-jani_to-drn-gz_sparse_csma.3-4_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 6.409 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:27:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957278/tmp1ufa72bxstorm_from-jani_to-drn-gz_sparse_csma.3-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957278/tmpf8rms3khstorm_from-jani_to-drn-gz_sparse_csma.3-4_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.003s.
Time for model construction: 4.751s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1460287
Transitions: 2396727
Choices: 1471059
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* collision_max_backoff -> 1427 item(s)
* all_delivered -> 13 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957278/tmpf8rms3khstorm_from-jani_to-drn-gz_sparse_csma.3-4_tmp_outdir_/model.drn.gz'.
Time for model export: 1.619s.
Performance statistics:
* peak memory usage: 297MB
* CPU time: 6.305s
* wallclock time: 6.378s
############################## Output files ##############################
model.drn.gz: Size of output file is 10253757 bytes
Log file: storm_from-jani_to-drn-gz_sparse_csma.3-4_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 6.426 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:35:48 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955180/tmpt8ppgmk6storm_from-jani_to-drn-gz_sparse_csma.3-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955180/tmp5v9_jljgstorm_from-jani_to-drn-gz_sparse_csma.3-4_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: 4.787s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1460287
Transitions: 2396727
Choices: 1471059
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* collision_max_backoff -> 1427 item(s)
* all_delivered -> 13 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955180/tmp5v9_jljgstorm_from-jani_to-drn-gz_sparse_csma.3-4_tmp_outdir_/model.drn.gz'.
Time for model export: 1.608s.
Performance statistics:
* peak memory usage: 297MB
* CPU time: 6.320s
* wallclock time: 6.401s
############################## Output files ##############################
model.drn.gz: Size of output file is 10253757 bytes
Log file: storm_from-jani_to-drn-gz_sparse_csma.3-4_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 6.162 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:55:00 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958193/tmpv22h5nbystorm_from-jani_to-drn-gz_sparse_csma.3-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958193/tmp59amf9lzstorm_from-jani_to-drn-gz_sparse_csma.3-4_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: 4.604s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1460287
Transitions: 2396727
Choices: 1471059
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* collision_max_backoff -> 1427 item(s)
* all_delivered -> 13 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958193/tmp59amf9lzstorm_from-jani_to-drn-gz_sparse_csma.3-4_tmp_outdir_/model.drn.gz'.
Time for model export: 1.530s.
Performance statistics:
* peak memory usage: 297MB
* CPU time: 6.051s
* wallclock time: 6.141s
############################## Output files ##############################
model.drn.gz: Size of output file is 10253757 bytes
Log file: storm_from-jani_to-drn-gz_sparse_csma.3-4_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 6.497 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:29:50 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957370/tmpcdolrt_bstorm_from-jani_to-drn-gz_sparse_csma.3-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957370/tmpl47b_lt9storm_from-jani_to-drn-gz_sparse_csma.3-4_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: 4.852s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1460287
Transitions: 2396727
Choices: 1471059
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* collision_max_backoff -> 1427 item(s)
* all_delivered -> 13 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957370/tmpl47b_lt9storm_from-jani_to-drn-gz_sparse_csma.3-4_tmp_outdir_/model.drn.gz'.
Time for model export: 1.617s.
Performance statistics:
* peak memory usage: 297MB
* CPU time: 6.394s
* wallclock time: 6.475s
############################## Output files ##############################
model.drn.gz: Size of output file is 10253757 bytes
Log file: storm_from-jani_to-drn-gz_sparse_csma.3-4_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 6.583 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:28:02 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957294/tmpgb30ony8storm_from-jani_to-drn-gz_sparse_csma.3-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957294/tmpg9xkg328storm_from-jani_to-drn-gz_sparse_csma.3-4_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.003s.
Time for model construction: 4.921s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1460287
Transitions: 2396727
Choices: 1471059
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* collision_max_backoff -> 1427 item(s)
* all_delivered -> 13 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957294/tmpg9xkg328storm_from-jani_to-drn-gz_sparse_csma.3-4_tmp_outdir_/model.drn.gz'.
Time for model export: 1.621s.
Performance statistics:
* peak memory usage: 297MB
* CPU time: 6.471s
* wallclock time: 6.549s
############################## Output files ##############################
model.drn.gz: Size of output file is 10253757 bytes