Log files for model embedded.8-12 and tool configuration prism_from-prism_to-tra_ex
[1324079.0, 1324079.0, 1324079.0, 1324079.0, 1324079.0]
Log file: prism_from-prism_to-tra_ex_embedded.8-12_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 1.340 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:13:02 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.4956648/tmp5xgupd54prism_from-prism_to-tra_ex_embedded.8-12_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956648/tmpqec3pwq9prism_from-prism_to-tra_ex_embedded.8-12_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956648/tmp5xgupd54prism_from-prism_to-tra_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 plain text format to file "/w0/tmp/slurm_tq429871.4956648/tmpqec3pwq9prism_from-prism_to-tra_ex_embedded.8-12_tmp_outdir_/model.pexp"...
Time for exporting: 0.218 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 1324079 bytes
Log file: prism_from-prism_to-tra_ex_embedded.8-12_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 2.505 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:28:25 GMT+02:00 2026
Hostname: n23m0258.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4954881/tmp_ava88joprism_from-prism_to-tra_ex_embedded.8-12_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954881/tmplfc4nxbnprism_from-prism_to-tra_ex_embedded.8-12_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954881/tmp_ava88joprism_from-prism_to-tra_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.195 seconds.
Type: CTMC
States: 8548 (1 initial)
Transitions: 36041
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4954881/tmplfc4nxbnprism_from-prism_to-tra_ex_embedded.8-12_tmp_outdir_/model.pexp"...
Time for exporting: 0.212 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 1324079 bytes
Log file: prism_from-prism_to-tra_ex_embedded.8-12_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 1.346 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:26:14 GMT+02:00 2026
Hostname: n23m0357.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957223/tmpymg33g6kprism_from-prism_to-tra_ex_embedded.8-12_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957223/tmpas3vr3ukprism_from-prism_to-tra_ex_embedded.8-12_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957223/tmpymg33g6kprism_from-prism_to-tra_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 plain text format to file "/w0/tmp/slurm_tq429871.4957223/tmpas3vr3ukprism_from-prism_to-tra_ex_embedded.8-12_tmp_outdir_/model.pexp"...
Time for exporting: 0.219 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 1324079 bytes
Log file: prism_from-prism_to-tra_ex_embedded.8-12_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 1.442 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:55:57 GMT+02:00 2026
Hostname: n23m0307.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955998/tmppaurjjicprism_from-prism_to-tra_ex_embedded.8-12_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955998/tmpqs4mgnf1prism_from-prism_to-tra_ex_embedded.8-12_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955998/tmppaurjjicprism_from-prism_to-tra_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.124 secs.
Sorting reachable states list...
Time for model construction: 0.174 seconds.
Type: CTMC
States: 8548 (1 initial)
Transitions: 36041
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955998/tmpqs4mgnf1prism_from-prism_to-tra_ex_embedded.8-12_tmp_outdir_/model.pexp"...
Time for exporting: 0.218 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 1324079 bytes
Log file: prism_from-prism_to-tra_ex_embedded.8-12_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 1.375 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:40:59 GMT+02:00 2026
Hostname: n23m0279.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955404/tmp8usqcle5prism_from-prism_to-tra_ex_embedded.8-12_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955404/tmp4p6ilxklprism_from-prism_to-tra_ex_embedded.8-12_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955404/tmp8usqcle5prism_from-prism_to-tra_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.099 secs.
Sorting reachable states list...
Time for model construction: 0.177 seconds.
Type: CTMC
States: 8548 (1 initial)
Transitions: 36041
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955404/tmp4p6ilxklprism_from-prism_to-tra_ex_embedded.8-12_tmp_outdir_/model.pexp"...
Time for exporting: 0.208 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 1324079 bytes