Log files for model embedded.8-12 and tool configuration storm_from-jani_to-drn-xz_sparse
[0.36, 0.37, 0.4, 0.372, 0.368]
Log file: storm_from-jani_to-drn-xz_sparse_embedded.8-12_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 0.426 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.4957476/tmpusn6jjy4storm_from-jani_to-drn-xz_sparse_embedded.8-12_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957476/tmp49bbf3blstorm_from-jani_to-drn-xz_sparse_embedded.8-12_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.037s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 8548
Transitions: 36041
Reward Models: none
State Labels: 4 labels
* init -> 1 item(s)
* l_down -> 5884 item(s)
* deadlock -> 0 item(s)
* fail_actuators -> 1064 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957476/tmp49bbf3blstorm_from-jani_to-drn-xz_sparse_embedded.8-12_tmp_outdir_/model.drn.xz'.
Time for model export: 0.360s.
Performance statistics:
* peak memory usage: 56MB
* CPU time: 0.399s
* wallclock time: 0.400s
############################## Output files ##############################
model.drn.xz: Size of output file is 81700 bytes
Log file: storm_from-jani_to-drn-xz_sparse_embedded.8-12_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 0.443 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:43:54 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957827/tmpav6nah4wstorm_from-jani_to-drn-xz_sparse_embedded.8-12_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957827/tmpxcfeajdestorm_from-jani_to-drn-xz_sparse_embedded.8-12_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.041s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 8548
Transitions: 36041
Reward Models: none
State Labels: 4 labels
* init -> 1 item(s)
* l_down -> 5884 item(s)
* deadlock -> 0 item(s)
* fail_actuators -> 1064 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957827/tmpxcfeajdestorm_from-jani_to-drn-xz_sparse_embedded.8-12_tmp_outdir_/model.drn.xz'.
Time for model export: 0.370s.
Performance statistics:
* peak memory usage: 56MB
* CPU time: 0.406s
* wallclock time: 0.413s
############################## Output files ##############################
model.drn.xz: Size of output file is 81700 bytes
Log file: storm_from-jani_to-drn-xz_sparse_embedded.8-12_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 0.472 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:57:18 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958286/tmp5htsbv41storm_from-jani_to-drn-xz_sparse_embedded.8-12_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958286/tmp7_92lx5mstorm_from-jani_to-drn-xz_sparse_embedded.8-12_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.043s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 8548
Transitions: 36041
Reward Models: none
State Labels: 4 labels
* init -> 1 item(s)
* l_down -> 5884 item(s)
* deadlock -> 0 item(s)
* fail_actuators -> 1064 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958286/tmp7_92lx5mstorm_from-jani_to-drn-xz_sparse_embedded.8-12_tmp_outdir_/model.drn.xz'.
Time for model export: 0.400s.
Performance statistics:
* peak memory usage: 56MB
* CPU time: 0.441s
* wallclock time: 0.446s
############################## Output files ##############################
model.drn.xz: Size of output file is 81700 bytes
Log file: storm_from-jani_to-drn-xz_sparse_embedded.8-12_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 0.445 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:59:01 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958366/tmptg_oijc5storm_from-jani_to-drn-xz_sparse_embedded.8-12_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958366/tmpq3dw9deystorm_from-jani_to-drn-xz_sparse_embedded.8-12_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.040s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 8548
Transitions: 36041
Reward Models: none
State Labels: 4 labels
* init -> 1 item(s)
* l_down -> 5884 item(s)
* deadlock -> 0 item(s)
* fail_actuators -> 1064 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958366/tmpq3dw9deystorm_from-jani_to-drn-xz_sparse_embedded.8-12_tmp_outdir_/model.drn.xz'.
Time for model export: 0.372s.
Performance statistics:
* peak memory usage: 56MB
* CPU time: 0.410s
* wallclock time: 0.415s
############################## Output files ##############################
model.drn.xz: Size of output file is 81700 bytes
Log file: storm_from-jani_to-drn-xz_sparse_embedded.8-12_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.xz drn --compression xz
Wallclock time: 0.447 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:32:13 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957464/tmp7yja04_istorm_from-jani_to-drn-xz_sparse_embedded.8-12_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957464/tmpk79cx4etstorm_from-jani_to-drn-xz_sparse_embedded.8-12_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.041s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 8548
Transitions: 36041
Reward Models: none
State Labels: 4 labels
* init -> 1 item(s)
* l_down -> 5884 item(s)
* deadlock -> 0 item(s)
* fail_actuators -> 1064 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957464/tmpk79cx4etstorm_from-jani_to-drn-xz_sparse_embedded.8-12_tmp_outdir_/model.drn.xz'.
Time for model export: 0.368s.
Performance statistics:
* peak memory usage: 56MB
* CPU time: 0.408s
* wallclock time: 0.413s
############################## Output files ##############################
model.drn.xz: Size of output file is 81700 bytes