Log files for model embedded.8-12 and tool configuration prism_from-prism_to-umb-gz_ex
[0.129, 0.129, 0.137, 0.134, 0.142]
Log file: prism_from-prism_to-umb-gz_ex_embedded.8-12_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 1.387 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:00:05 GMT+02:00 2026
Hostname: n23m0045.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956147/tmpb_5u11k1prism_from-prism_to-umb-gz_ex_embedded.8-12_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956147/tmppvsxwhc9prism_from-prism_to-umb-gz_ex_embedded.8-12_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956147/tmpb_5u11k1prism_from-prism_to-umb-gz_ex_embedded.8-12_tmp_indir_/model.prism"...
Type: CTMC
Modules: sensors proci actuators proco procm bus
Actions: [] [input_reboot] [output_reboot] [timeout]
Variables: s i a o m count comp reqi reqo
Labels: "fail_actuators" "l_down"
Building model (engine:explicit)...
Computing reachable states... 8548 states
Reachable states exploration and model construction done in 0.102 secs.
Sorting reachable states list...
Time for model construction: 0.146 seconds.
Type: CTMC
States: 8548 (1 initial)
Transitions: 36041
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956147/tmppvsxwhc9prism_from-prism_to-umb-gz_ex_embedded.8-12_tmp_outdir_/model.umbgz"...
Time for exporting: 0.129 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 99102 bytes
Log file: prism_from-prism_to-umb-gz_ex_embedded.8-12_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 1.344 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:15:56 GMT+02:00 2026
Hostname: n23m0048.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956764/tmp8vl1fhs2prism_from-prism_to-umb-gz_ex_embedded.8-12_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956764/tmpbqsl606oprism_from-prism_to-umb-gz_ex_embedded.8-12_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956764/tmp8vl1fhs2prism_from-prism_to-umb-gz_ex_embedded.8-12_tmp_indir_/model.prism"...
Type: CTMC
Modules: sensors proci actuators proco procm bus
Actions: [] [input_reboot] [output_reboot] [timeout]
Variables: s i a o m count comp reqi reqo
Labels: "fail_actuators" "l_down"
Building model (engine:explicit)...
Computing reachable states... 8548 states
Reachable states exploration and model construction done in 0.101 secs.
Sorting reachable states list...
Time for model construction: 0.143 seconds.
Type: CTMC
States: 8548 (1 initial)
Transitions: 36041
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956764/tmpbqsl606oprism_from-prism_to-umb-gz_ex_embedded.8-12_tmp_outdir_/model.umbgz"...
Time for exporting: 0.129 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 99102 bytes
Log file: prism_from-prism_to-umb-gz_ex_embedded.8-12_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 1.367 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:47:55 GMT+02:00 2026
Hostname: n23m0054.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957943/tmpf9hdljzbprism_from-prism_to-umb-gz_ex_embedded.8-12_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957943/tmpid3kr0psprism_from-prism_to-umb-gz_ex_embedded.8-12_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957943/tmpf9hdljzbprism_from-prism_to-umb-gz_ex_embedded.8-12_tmp_indir_/model.prism"...
Type: CTMC
Modules: sensors proci actuators proco procm bus
Actions: [] [input_reboot] [output_reboot] [timeout]
Variables: s i a o m count comp reqi reqo
Labels: "fail_actuators" "l_down"
Building model (engine:explicit)...
Computing reachable states... 8548 states
Reachable states exploration and model construction done in 0.103 secs.
Sorting reachable states list...
Time for model construction: 0.149 seconds.
Type: CTMC
States: 8548 (1 initial)
Transitions: 36041
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957943/tmpid3kr0psprism_from-prism_to-umb-gz_ex_embedded.8-12_tmp_outdir_/model.umbgz"...
Time for exporting: 0.137 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 99102 bytes
Log file: prism_from-prism_to-umb-gz_ex_embedded.8-12_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 1.334 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:09:29 GMT+02:00 2026
Hostname: n23m0071.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956545/tmpj3ogt9q4prism_from-prism_to-umb-gz_ex_embedded.8-12_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956545/tmppvp07asdprism_from-prism_to-umb-gz_ex_embedded.8-12_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956545/tmpj3ogt9q4prism_from-prism_to-umb-gz_ex_embedded.8-12_tmp_indir_/model.prism"...
Type: CTMC
Modules: sensors proci actuators proco procm bus
Actions: [] [input_reboot] [output_reboot] [timeout]
Variables: s i a o m count comp reqi reqo
Labels: "fail_actuators" "l_down"
Building model (engine:explicit)...
Computing reachable states... 8548 states
Reachable states exploration and model construction done in 0.104 secs.
Sorting reachable states list...
Time for model construction: 0.145 seconds.
Type: CTMC
States: 8548 (1 initial)
Transitions: 36041
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956545/tmppvp07asdprism_from-prism_to-umb-gz_ex_embedded.8-12_tmp_outdir_/model.umbgz"...
Time for exporting: 0.134 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 99102 bytes
Log file: prism_from-prism_to-umb-gz_ex_embedded.8-12_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 1.398 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:12:28 GMT+02:00 2026
Hostname: n23m0048.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956625/tmplomse_pjprism_from-prism_to-umb-gz_ex_embedded.8-12_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956625/tmpc8iezisoprism_from-prism_to-umb-gz_ex_embedded.8-12_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956625/tmplomse_pjprism_from-prism_to-umb-gz_ex_embedded.8-12_tmp_indir_/model.prism"...
Type: CTMC
Modules: sensors proci actuators proco procm bus
Actions: [] [input_reboot] [output_reboot] [timeout]
Variables: s i a o m count comp reqi reqo
Labels: "fail_actuators" "l_down"
Building model (engine:explicit)...
Computing reachable states... 8548 states
Reachable states exploration and model construction done in 0.103 secs.
Sorting reachable states list...
Time for model construction: 0.147 seconds.
Type: CTMC
States: 8548 (1 initial)
Transitions: 36041
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956625/tmpc8iezisoprism_from-prism_to-umb-gz_ex_embedded.8-12_tmp_outdir_/model.umbgz"...
Time for exporting: 0.142 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 99103 bytes