Log files for model consensus.4-4 and tool configuration storm_from-jani_to-drn-xz_sparse
[1.622, 1.479, 1.704, 1.688, 1.86]
Log file: storm_from-jani_to-drn-xz_sparse_consensus.4-4_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 1.774 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:50:26 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958014/tmpbxnt73f2storm_from-jani_to-drn-xz_sparse_consensus.4-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958014/tmp3hub2fe1storm_from-jani_to-drn-xz_sparse_consensus.4-4_tmp_outdir_/model.drn.xz drn --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 0.120s.
--------------------------------------------------------------
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.4958014/tmp3hub2fe1storm_from-jani_to-drn-xz_sparse_consensus.4-4_tmp_outdir_/model.drn.xz'.
Time for model export: 1.622s.
Performance statistics:
* peak memory usage: 89MB
* CPU time: 1.742s
* wallclock time: 1.746s
############################## Output files ##############################
model.drn.xz: Size of output file is 280548 bytes
Log file: storm_from-jani_to-drn-xz_sparse_consensus.4-4_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 1.635 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:00:04 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956164/tmp6pqk2h_cstorm_from-jani_to-drn-xz_sparse_consensus.4-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956164/tmpeu1zn0h5storm_from-jani_to-drn-xz_sparse_consensus.4-4_tmp_outdir_/model.drn.xz drn --compression xz
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.4956164/tmpeu1zn0h5storm_from-jani_to-drn-xz_sparse_consensus.4-4_tmp_outdir_/model.drn.xz'.
Time for model export: 1.479s.
Performance statistics:
* peak memory usage: 89MB
* CPU time: 1.593s
* wallclock time: 1.606s
############################## Output files ##############################
model.drn.xz: Size of output file is 280548 bytes
Log file: storm_from-jani_to-drn-xz_sparse_consensus.4-4_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 1.853 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:48:24 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955680/tmpep4iu8wxstorm_from-jani_to-drn-xz_sparse_consensus.4-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955680/tmpoej6l2nxstorm_from-jani_to-drn-xz_sparse_consensus.4-4_tmp_outdir_/model.drn.xz drn --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 0.116s.
--------------------------------------------------------------
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.4955680/tmpoej6l2nxstorm_from-jani_to-drn-xz_sparse_consensus.4-4_tmp_outdir_/model.drn.xz'.
Time for model export: 1.704s.
Performance statistics:
* peak memory usage: 89MB
* CPU time: 1.808s
* wallclock time: 1.823s
############################## Output files ##############################
model.drn.xz: Size of output file is 280548 bytes
Log file: storm_from-jani_to-drn-xz_sparse_consensus.4-4_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 1.845 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:46:12 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957869/tmp4xld5ypgstorm_from-jani_to-drn-xz_sparse_consensus.4-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957869/tmpos1v6bejstorm_from-jani_to-drn-xz_sparse_consensus.4-4_tmp_outdir_/model.drn.xz drn --compression xz
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.4957869/tmpos1v6bejstorm_from-jani_to-drn-xz_sparse_consensus.4-4_tmp_outdir_/model.drn.xz'.
Time for model export: 1.688s.
Performance statistics:
* peak memory usage: 89MB
* CPU time: 1.802s
* wallclock time: 1.817s
############################## Output files ##############################
model.drn.xz: Size of output file is 280548 bytes
Log file: storm_from-jani_to-drn-xz_sparse_consensus.4-4_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 2.010 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:21:36 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957018/tmpgv5gpcbgstorm_from-jani_to-drn-xz_sparse_consensus.4-4_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957018/tmpoq91ok5dstorm_from-jani_to-drn-xz_sparse_consensus.4-4_tmp_outdir_/model.drn.xz drn --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 0.120s.
--------------------------------------------------------------
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.4957018/tmpoq91ok5dstorm_from-jani_to-drn-xz_sparse_consensus.4-4_tmp_outdir_/model.drn.xz'.
Time for model export: 1.860s.
Performance statistics:
* peak memory usage: 89MB
* CPU time: 1.967s
* wallclock time: 1.983s
############################## Output files ##############################
model.drn.xz: Size of output file is 280548 bytes