Log files for model embedded.8-12 and tool configuration storm_from-jani_to-drn_sparse
[0.014, 0.015, 0.016, 0.015, 0.016]
Log file: storm_from-jani_to-drn_sparse_embedded.8-12_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 0.081 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:31:48 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955013/tmpjy5ou459storm_from-jani_to-drn_sparse_embedded.8-12_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955013/tmpioowpqicstorm_from-jani_to-drn_sparse_embedded.8-12_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.038s.
--------------------------------------------------------------
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.4955013/tmpioowpqicstorm_from-jani_to-drn_sparse_embedded.8-12_tmp_outdir_/model.drn'.
Time for model export: 0.014s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.055s
* wallclock time: 0.055s
############################## Output files ##############################
model.drn: Size of output file is 1231648 bytes
Log file: storm_from-jani_to-drn_sparse_embedded.8-12_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 0.081 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 00:01:18 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958464/tmp_q0kf8u4storm_from-jani_to-drn_sparse_embedded.8-12_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958464/tmpofn7l75jstorm_from-jani_to-drn_sparse_embedded.8-12_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.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.4958464/tmpofn7l75jstorm_from-jani_to-drn_sparse_embedded.8-12_tmp_outdir_/model.drn'.
Time for model export: 0.015s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.059s
* wallclock time: 0.058s
############################## Output files ##############################
model.drn: Size of output file is 1231648 bytes
Log file: storm_from-jani_to-drn_sparse_embedded.8-12_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 0.086 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:52:43 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958102/tmp28d93bk8storm_from-jani_to-drn_sparse_embedded.8-12_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958102/tmpz9rday1gstorm_from-jani_to-drn_sparse_embedded.8-12_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.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.4958102/tmpz9rday1gstorm_from-jani_to-drn_sparse_embedded.8-12_tmp_outdir_/model.drn'.
Time for model export: 0.016s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.058s
* wallclock time: 0.060s
############################## Output files ##############################
model.drn: Size of output file is 1231648 bytes
Log file: storm_from-jani_to-drn_sparse_embedded.8-12_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 0.079 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 00:00:09 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958405/tmpsiaa1g7gstorm_from-jani_to-drn_sparse_embedded.8-12_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958405/tmp9tkdu1d9storm_from-jani_to-drn_sparse_embedded.8-12_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.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.4958405/tmp9tkdu1d9storm_from-jani_to-drn_sparse_embedded.8-12_tmp_outdir_/model.drn'.
Time for model export: 0.015s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.060s
* wallclock time: 0.058s
############################## Output files ##############################
model.drn: Size of output file is 1231648 bytes
Log file: storm_from-jani_to-drn_sparse_embedded.8-12_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 0.093 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:40:16 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957681/tmpk_kau_mdstorm_from-jani_to-drn_sparse_embedded.8-12_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957681/tmpdhy2ayetstorm_from-jani_to-drn_sparse_embedded.8-12_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.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.4957681/tmpdhy2ayetstorm_from-jani_to-drn_sparse_embedded.8-12_tmp_outdir_/model.drn'.
Time for model export: 0.016s.
Performance statistics:
* peak memory usage: 54MB
* CPU time: 0.062s
* wallclock time: 0.060s
############################## Output files ##############################
model.drn: Size of output file is 1231648 bytes