Log files for model consensus.4-4 and tool configuration storm_from-jani_to-drn_sparse
[0.05, 0.049, 0.05, 0.05, 0.051]
Log file: storm_from-jani_to-drn_sparse_consensus.4-4_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 0.203 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.4957298/tmpqnck0milstorm_from-jani_to-drn_sparse_consensus.4-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957298/tmp7jinckfjstorm_from-jani_to-drn_sparse_consensus.4-4_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 0.119s.
--------------------------------------------------------------
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.4957298/tmp7jinckfjstorm_from-jani_to-drn_sparse_consensus.4-4_tmp_outdir_/model.drn'.
Time for model export: 0.050s.
Performance statistics:
* peak memory usage: 53MB
* CPU time: 0.169s
* wallclock time: 0.172s
############################## Output files ##############################
model.drn: Size of output file is 3514494 bytes
Log file: storm_from-jani_to-drn_sparse_consensus.4-4_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 0.216 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:30:40 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954966/tmp4zissndestorm_from-jani_to-drn_sparse_consensus.4-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954966/tmp5qcakc0astorm_from-jani_to-drn_sparse_consensus.4-4_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
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.4954966/tmp5qcakc0astorm_from-jani_to-drn_sparse_consensus.4-4_tmp_outdir_/model.drn'.
Time for model export: 0.049s.
Performance statistics:
* peak memory usage: 53MB
* CPU time: 0.166s
* wallclock time: 0.182s
############################## Output files ##############################
model.drn: Size of output file is 3514494 bytes
Log file: storm_from-jani_to-drn_sparse_consensus.4-4_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 0.199 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:56:09 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958244/tmp8tg9skj8storm_from-jani_to-drn_sparse_consensus.4-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958244/tmpiyb7xwafstorm_from-jani_to-drn_sparse_consensus.4-4_tmp_outdir_/model.drn drn --compression none
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.4958244/tmpiyb7xwafstorm_from-jani_to-drn_sparse_consensus.4-4_tmp_outdir_/model.drn'.
Time for model export: 0.050s.
Performance statistics:
* peak memory usage: 53MB
* CPU time: 0.171s
* wallclock time: 0.173s
############################## Output files ##############################
model.drn: Size of output file is 3514494 bytes
Log file: storm_from-jani_to-drn_sparse_consensus.4-4_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 0.199 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:42:07 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955452/tmp8jli1e4astorm_from-jani_to-drn_sparse_consensus.4-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955452/tmpgolew1r7storm_from-jani_to-drn_sparse_consensus.4-4_tmp_outdir_/model.drn drn --compression none
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.4955452/tmpgolew1r7storm_from-jani_to-drn_sparse_consensus.4-4_tmp_outdir_/model.drn'.
Time for model export: 0.050s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.172s
* wallclock time: 0.174s
############################## Output files ##############################
model.drn: Size of output file is 3514494 bytes
Log file: storm_from-jani_to-drn_sparse_consensus.4-4_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 0.212 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.4957078/tmpsle2j7wwstorm_from-jani_to-drn_sparse_consensus.4-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957078/tmph40svck3storm_from-jani_to-drn_sparse_consensus.4-4_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 0.126s.
--------------------------------------------------------------
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.4957078/tmph40svck3storm_from-jani_to-drn_sparse_consensus.4-4_tmp_outdir_/model.drn'.
Time for model export: 0.051s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.172s
* wallclock time: 0.180s
############################## Output files ##############################
model.drn: Size of output file is 3514494 bytes