Log files for model consensus.6-2 and tool configuration storm_from-jani_to-drn_sparse
[2.008, 2.006, 1.811, 1.837, 2.04]
Log file: storm_from-jani_to-drn_sparse_consensus.6-2_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 6.528 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:49:52 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957991/tmpzt4e3cihstorm_from-jani_to-drn_sparse_consensus.6-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957991/tmp18j1bgf8storm_from-jani_to-drn_sparse_consensus.6-2_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: 4.482s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1258240
Transitions: 6236736
Choices: 5008128
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* finished -> 384 item(s)
* agree -> 114258 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957991/tmp18j1bgf8storm_from-jani_to-drn_sparse_consensus.6-2_tmp_outdir_/model.drn'.
Time for model export: 2.008s.
Performance statistics:
* peak memory usage: 241MB
* CPU time: 6.375s
* wallclock time: 6.495s
############################## Output files ##############################
model.drn: Size of output file is 153446715 bytes
Log file: storm_from-jani_to-drn_sparse_consensus.6-2_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 6.556 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:12:25 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956632/tmpz28kistastorm_from-jani_to-drn_sparse_consensus.6-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956632/tmpdhgdpttostorm_from-jani_to-drn_sparse_consensus.6-2_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 4.515s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1258240
Transitions: 6236736
Choices: 5008128
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* finished -> 384 item(s)
* agree -> 114258 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956632/tmpdhgdpttostorm_from-jani_to-drn_sparse_consensus.6-2_tmp_outdir_/model.drn'.
Time for model export: 2.006s.
Performance statistics:
* peak memory usage: 241MB
* CPU time: 6.420s
* wallclock time: 6.526s
############################## Output files ##############################
model.drn: Size of output file is 153446715 bytes
Log file: storm_from-jani_to-drn_sparse_consensus.6-2_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 6.012 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:17:03 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956849/tmpw6_kzu9astorm_from-jani_to-drn_sparse_consensus.6-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956849/tmp0opv8qezstorm_from-jani_to-drn_sparse_consensus.6-2_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: 4.171s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1258240
Transitions: 6236736
Choices: 5008128
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* finished -> 384 item(s)
* agree -> 114258 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956849/tmp0opv8qezstorm_from-jani_to-drn_sparse_consensus.6-2_tmp_outdir_/model.drn'.
Time for model export: 1.811s.
Performance statistics:
* peak memory usage: 242MB
* CPU time: 5.871s
* wallclock time: 5.986s
############################## Output files ##############################
model.drn: Size of output file is 153446715 bytes
Log file: storm_from-jani_to-drn_sparse_consensus.6-2_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 6.008 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:52:26 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955859/tmpnj5lbylystorm_from-jani_to-drn_sparse_consensus.6-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955859/tmpo9cfwbdhstorm_from-jani_to-drn_sparse_consensus.6-2_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: 4.142s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1258240
Transitions: 6236736
Choices: 5008128
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* finished -> 384 item(s)
* agree -> 114258 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955859/tmpo9cfwbdhstorm_from-jani_to-drn_sparse_consensus.6-2_tmp_outdir_/model.drn'.
Time for model export: 1.837s.
Performance statistics:
* peak memory usage: 242MB
* CPU time: 5.875s
* wallclock time: 5.983s
############################## Output files ##############################
model.drn: Size of output file is 153446715 bytes
Log file: storm_from-jani_to-drn_sparse_consensus.6-2_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 6.943 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:28:24 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954888/tmph5vygkldstorm_from-jani_to-drn_sparse_consensus.6-2_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954888/tmpv_12auq7storm_from-jani_to-drn_sparse_consensus.6-2_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 4.798s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 1258240
Transitions: 6236736
Choices: 5008128
Reward Models: none
State Labels: 4 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* finished -> 384 item(s)
* agree -> 114258 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4954888/tmpv_12auq7storm_from-jani_to-drn_sparse_consensus.6-2_tmp_outdir_/model.drn'.
Time for model export: 2.040s.
Performance statistics:
* peak memory usage: 242MB
* CPU time: 6.708s
* wallclock time: 6.844s
############################## Output files ##############################
model.drn: Size of output file is 153446715 bytes