Log files for model embedded.8-12 and tool configuration storm_from-jani_to-drn-gz_sparse
[0.04, 0.039, 0.038, 0.034, 0.037]
Log file: storm_from-jani_to-drn-gz_sparse_embedded.8-12_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 0.114 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:49:33 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955732/tmp7hloyurvstorm_from-jani_to-drn-gz_sparse_embedded.8-12_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955732/tmpimufepn2storm_from-jani_to-drn-gz_sparse_embedded.8-12_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.042s.
--------------------------------------------------------------
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.4955732/tmpimufepn2storm_from-jani_to-drn-gz_sparse_embedded.8-12_tmp_outdir_/model.drn.gz'.
Time for model export: 0.040s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.082s
* wallclock time: 0.086s
############################## Output files ##############################
model.drn.gz: Size of output file is 146503 bytes
Log file: storm_from-jani_to-drn-gz_sparse_embedded.8-12_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 0.113 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:50:08 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955757/tmpk9h_cetostorm_from-jani_to-drn-gz_sparse_embedded.8-12_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955757/tmpd3vjgsv7storm_from-jani_to-drn-gz_sparse_embedded.8-12_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.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.4955757/tmpd3vjgsv7storm_from-jani_to-drn-gz_sparse_embedded.8-12_tmp_outdir_/model.drn.gz'.
Time for model export: 0.039s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.076s
* wallclock time: 0.083s
############################## Output files ##############################
model.drn.gz: Size of output file is 146503 bytes
Log file: storm_from-jani_to-drn-gz_sparse_embedded.8-12_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 0.112 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:44:29 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957843/tmptua92xjzstorm_from-jani_to-drn-gz_sparse_embedded.8-12_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957843/tmpx_ibzusqstorm_from-jani_to-drn-gz_sparse_embedded.8-12_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.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.4957843/tmpx_ibzusqstorm_from-jani_to-drn-gz_sparse_embedded.8-12_tmp_outdir_/model.drn.gz'.
Time for model export: 0.038s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.078s
* wallclock time: 0.083s
############################## Output files ##############################
model.drn.gz: Size of output file is 146503 bytes
Log file: storm_from-jani_to-drn-gz_sparse_embedded.8-12_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 0.096 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:35:49 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955175/tmpod5jlb3tstorm_from-jani_to-drn-gz_sparse_embedded.8-12_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955175/tmpodwin7yxstorm_from-jani_to-drn-gz_sparse_embedded.8-12_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.036s.
--------------------------------------------------------------
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.4955175/tmpodwin7yxstorm_from-jani_to-drn-gz_sparse_embedded.8-12_tmp_outdir_/model.drn.gz'.
Time for model export: 0.034s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.073s
* wallclock time: 0.073s
############################## Output files ##############################
model.drn.gz: Size of output file is 146503 bytes
Log file: storm_from-jani_to-drn-gz_sparse_embedded.8-12_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn.gz drn --compression gzip
Wallclock time: 0.104 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:32:21 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955048/tmpjzkk93crstorm_from-jani_to-drn-gz_sparse_embedded.8-12_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955048/tmpbb0qqut_storm_from-jani_to-drn-gz_sparse_embedded.8-12_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.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.4955048/tmpbb0qqut_storm_from-jani_to-drn-gz_sparse_embedded.8-12_tmp_outdir_/model.drn.gz'.
Time for model export: 0.037s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.078s
* wallclock time: 0.077s
############################## Output files ##############################
model.drn.gz: Size of output file is 146503 bytes