Log files for model consensus.4-4 and tool configuration storm_from-jani_to-drn-gz_sparse
[0.128, 0.126, 0.129, 0.128, 0.127]
Log file: storm_from-jani_to-drn-gz_sparse_consensus.4-4_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 0.275 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:26:14 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957218/tmp0vomb8r4storm_from-jani_to-drn-gz_sparse_consensus.4-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957218/tmporzhfv8mstorm_from-jani_to-drn-gz_sparse_consensus.4-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.001s.
Time for model construction: 0.121s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 43136
Transitions: 144352
Choices: 115840
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* finished -> 64 item(s)
* agree -> 9170 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957218/tmporzhfv8mstorm_from-jani_to-drn-gz_sparse_consensus.4-4_tmp_outdir_/model.drn.gz'.
Time for model export: 0.128s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.250s
* wallclock time: 0.252s
############################## Output files ##############################
model.drn.gz: Size of output file is 552595 bytes
Log file: storm_from-jani_to-drn-gz_sparse_consensus.4-4_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 0.289 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:39:49 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955353/tmpmp54r1x_storm_from-jani_to-drn-gz_sparse_consensus.4-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955353/tmpcg6xt7scstorm_from-jani_to-drn-gz_sparse_consensus.4-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.001s.
Time for model construction: 0.125s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 43136
Transitions: 144352
Choices: 115840
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* finished -> 64 item(s)
* agree -> 9170 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955353/tmpcg6xt7scstorm_from-jani_to-drn-gz_sparse_consensus.4-4_tmp_outdir_/model.drn.gz'.
Time for model export: 0.126s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.244s
* wallclock time: 0.255s
############################## Output files ##############################
model.drn.gz: Size of output file is 552595 bytes
Log file: storm_from-jani_to-drn-gz_sparse_consensus.4-4_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 0.505 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:30:05 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954949/tmp_ickzkyastorm_from-jani_to-drn-gz_sparse_consensus.4-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954949/tmp3uuhw5s9storm_from-jani_to-drn-gz_sparse_consensus.4-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.026s.
Time for model construction: 0.129s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 43136
Transitions: 144352
Choices: 115840
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* finished -> 64 item(s)
* agree -> 9170 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4954949/tmp3uuhw5s9storm_from-jani_to-drn-gz_sparse_consensus.4-4_tmp_outdir_/model.drn.gz'.
Time for model export: 0.129s.
Performance statistics:
* peak memory usage: 53MB
* CPU time: 0.245s
* wallclock time: 0.286s
############################## Output files ##############################
model.drn.gz: Size of output file is 552595 bytes
Log file: storm_from-jani_to-drn-gz_sparse_consensus.4-4_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 0.277 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 00:04:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958556/tmpvhig9qmzstorm_from-jani_to-drn-gz_sparse_consensus.4-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958556/tmp99n045jtstorm_from-jani_to-drn-gz_sparse_consensus.4-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.001s.
Time for model construction: 0.121s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 43136
Transitions: 144352
Choices: 115840
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* finished -> 64 item(s)
* agree -> 9170 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958556/tmp99n045jtstorm_from-jani_to-drn-gz_sparse_consensus.4-4_tmp_outdir_/model.drn.gz'.
Time for model export: 0.128s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.249s
* wallclock time: 0.252s
############################## Output files ##############################
model.drn.gz: Size of output file is 552595 bytes
Log file: storm_from-jani_to-drn-gz_sparse_consensus.4-4_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 0.285 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:15:22 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956737/tmplp3g42uqstorm_from-jani_to-drn-gz_sparse_consensus.4-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956737/tmptee5vn8vstorm_from-jani_to-drn-gz_sparse_consensus.4-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.001s.
Time for model construction: 0.125s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 43136
Transitions: 144352
Choices: 115840
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* finished -> 64 item(s)
* agree -> 9170 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956737/tmptee5vn8vstorm_from-jani_to-drn-gz_sparse_consensus.4-4_tmp_outdir_/model.drn.gz'.
Time for model export: 0.127s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.258s
* wallclock time: 0.256s
############################## Output files ##############################
model.drn.gz: Size of output file is 552595 bytes