Log files for model csma.4-2 and tool configuration storm_from-jani_to-drn-gz_sparse
[0.954, 1.043, 1.039, 1.07, 1.033]
Log file: storm_from-jani_to-drn-gz_sparse_csma.4-2_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 3.601 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:48:23 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955683/tmp0cqufpf5storm_from-jani_to-drn-gz_sparse_csma.4-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955683/tmp9b5kzs9gstorm_from-jani_to-drn-gz_sparse_csma.4-2_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: 2.616s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 761962
Transitions: 1327068
Choices: 825504
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* collision_max_backoff -> 3444 item(s)
* all_delivered -> 9 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955683/tmp9b5kzs9gstorm_from-jani_to-drn-gz_sparse_csma.4-2_tmp_outdir_/model.drn.gz'.
Time for model export: 0.954s.
Performance statistics:
* peak memory usage: 179MB
* CPU time: 3.527s
* wallclock time: 3.575s
############################## Output files ##############################
model.drn.gz: Size of output file is 5513620 bytes
Log file: storm_from-jani_to-drn-gz_sparse_csma.4-2_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 4.667 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:27:48 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954853/tmpg_xq11xrstorm_from-jani_to-drn-gz_sparse_csma.4-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954853/tmpggx64kv_storm_from-jani_to-drn-gz_sparse_csma.4-2_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.016s.
Time for model construction: 2.893s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 761962
Transitions: 1327068
Choices: 825504
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* collision_max_backoff -> 3444 item(s)
* all_delivered -> 9 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4954853/tmpggx64kv_storm_from-jani_to-drn-gz_sparse_csma.4-2_tmp_outdir_/model.drn.gz'.
Time for model export: 1.043s.
Performance statistics:
* peak memory usage: 179MB
* CPU time: 3.891s
* wallclock time: 3.956s
############################## Output files ##############################
model.drn.gz: Size of output file is 5513620 bytes
Log file: storm_from-jani_to-drn-gz_sparse_csma.4-2_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 3.892 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:20:28 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956972/tmp3t3sovpestorm_from-jani_to-drn-gz_sparse_csma.4-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956972/tmpk5hwpkq3storm_from-jani_to-drn-gz_sparse_csma.4-2_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: 2.825s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 761962
Transitions: 1327068
Choices: 825504
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* collision_max_backoff -> 3444 item(s)
* all_delivered -> 9 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956972/tmpk5hwpkq3storm_from-jani_to-drn-gz_sparse_csma.4-2_tmp_outdir_/model.drn.gz'.
Time for model export: 1.039s.
Performance statistics:
* peak memory usage: 179MB
* CPU time: 3.831s
* wallclock time: 3.869s
############################## Output files ##############################
model.drn.gz: Size of output file is 5513620 bytes
Log file: storm_from-jani_to-drn-gz_sparse_csma.4-2_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 4.036 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:32:48 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957488/tmpweoog6wbstorm_from-jani_to-drn-gz_sparse_csma.4-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957488/tmpur59c8_7storm_from-jani_to-drn-gz_sparse_csma.4-2_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: 2.930s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 761962
Transitions: 1327068
Choices: 825504
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* collision_max_backoff -> 3444 item(s)
* all_delivered -> 9 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957488/tmpur59c8_7storm_from-jani_to-drn-gz_sparse_csma.4-2_tmp_outdir_/model.drn.gz'.
Time for model export: 1.070s.
Performance statistics:
* peak memory usage: 178MB
* CPU time: 3.969s
* wallclock time: 4.005s
############################## Output files ##############################
model.drn.gz: Size of output file is 5513620 bytes
Log file: storm_from-jani_to-drn-gz_sparse_csma.4-2_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 3.876 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:42:45 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957786/tmpvwisrf42storm_from-jani_to-drn-gz_sparse_csma.4-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957786/tmp9pjh04w6storm_from-jani_to-drn-gz_sparse_csma.4-2_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: 2.805s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 761962
Transitions: 1327068
Choices: 825504
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* collision_max_backoff -> 3444 item(s)
* all_delivered -> 9 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957786/tmp9pjh04w6storm_from-jani_to-drn-gz_sparse_csma.4-2_tmp_outdir_/model.drn.gz'.
Time for model export: 1.033s.
Performance statistics:
* peak memory usage: 178MB
* CPU time: 3.801s
* wallclock time: 3.843s
############################## Output files ##############################
model.drn.gz: Size of output file is 5513620 bytes