Log files for model consensus.4-4 and tool configuration prism_from-prism_to-tra_ex
[0.334, 0.385, 0.38, 0.39, 0.336]
Log file: prism_from-prism_to-tra_ex_consensus.4-4_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.296 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:42:41 GMT+02:00 2026
Hostname: n23m0070.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955480/tmpqw95vph5prism_from-prism_to-tra_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955480/tmpqe6onsvbprism_from-prism_to-tra_ex_consensus.4-4_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955480/tmpqw95vph5prism_from-prism_to-tra_ex_consensus.4-4_tmp_indir_/model.prism"...
Type: MDP
Modules: process1 process2 process3 process4
Actions: [] [done]
Variables: counter pc1 coin1 pc2 coin2 pc3 coin3 pc4 coin4
Labels: "finished" "agree"
Building model (engine:explicit)...
Computing reachable states... 43136 states
Reachable states exploration and model construction done in 0.243 secs.
Sorting reachable states list...
Time for model construction: 0.347 seconds.
Type: MDP
States: 43136 (1 initial)
Transitions: 144352
Choices: 115840
Max/avg: 4/2.69
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955480/tmpqe6onsvbprism_from-prism_to-tra_ex_consensus.4-4_tmp_outdir_/model.pexp"...
Time for exporting: 0.334 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 2430677 bytes
Log file: prism_from-prism_to-tra_ex_consensus.4-4_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: 1.384 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:44:58 GMT+02:00 2026
Hostname: n23m0042.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955565/tmpez6vib_vprism_from-prism_to-tra_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955565/tmpozai7kwbprism_from-prism_to-tra_ex_consensus.4-4_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955565/tmpez6vib_vprism_from-prism_to-tra_ex_consensus.4-4_tmp_indir_/model.prism"...
Type: MDP
Modules: process1 process2 process3 process4
Actions: [] [done]
Variables: counter pc1 coin1 pc2 coin2 pc3 coin3 pc4 coin4
Labels: "finished" "agree"
Building model (engine:explicit)...
Computing reachable states... 43136 states
Reachable states exploration and model construction done in 0.268 secs.
Sorting reachable states list...
Time for model construction: 0.382 seconds.
Type: MDP
States: 43136 (1 initial)
Transitions: 144352
Choices: 115840
Max/avg: 4/2.69
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955565/tmpozai7kwbprism_from-prism_to-tra_ex_consensus.4-4_tmp_outdir_/model.pexp"...
Time for exporting: 0.385 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 2430677 bytes
Log file: prism_from-prism_to-tra_ex_consensus.4-4_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.415 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:54:10 GMT+02:00 2026
Hostname: n23m0261.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955919/tmp5w_5t2ioprism_from-prism_to-tra_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955919/tmpq8syip2iprism_from-prism_to-tra_ex_consensus.4-4_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955919/tmp5w_5t2ioprism_from-prism_to-tra_ex_consensus.4-4_tmp_indir_/model.prism"...
Type: MDP
Modules: process1 process2 process3 process4
Actions: [] [done]
Variables: counter pc1 coin1 pc2 coin2 pc3 coin3 pc4 coin4
Labels: "finished" "agree"
Building model (engine:explicit)...
Computing reachable states... 43136 states
Reachable states exploration and model construction done in 0.276 secs.
Sorting reachable states list...
Time for model construction: 0.396 seconds.
Type: MDP
States: 43136 (1 initial)
Transitions: 144352
Choices: 115840
Max/avg: 4/2.69
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955919/tmpq8syip2iprism_from-prism_to-tra_ex_consensus.4-4_tmp_outdir_/model.pexp"...
Time for exporting: 0.38 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 2430677 bytes
Log file: prism_from-prism_to-tra_ex_consensus.4-4_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.415 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 00:04:28 GMT+02:00 2026
Hostname: n23m0102.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958544/tmplrh3gmiaprism_from-prism_to-tra_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958544/tmpc_8jd_qrprism_from-prism_to-tra_ex_consensus.4-4_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958544/tmplrh3gmiaprism_from-prism_to-tra_ex_consensus.4-4_tmp_indir_/model.prism"...
Type: MDP
Modules: process1 process2 process3 process4
Actions: [] [done]
Variables: counter pc1 coin1 pc2 coin2 pc3 coin3 pc4 coin4
Labels: "finished" "agree"
Building model (engine:explicit)...
Computing reachable states... 43136 states
Reachable states exploration and model construction done in 0.27 secs.
Sorting reachable states list...
Time for model construction: 0.387 seconds.
Type: MDP
States: 43136 (1 initial)
Transitions: 144352
Choices: 115840
Max/avg: 4/2.69
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958544/tmpc_8jd_qrprism_from-prism_to-tra_ex_consensus.4-4_tmp_outdir_/model.pexp"...
Time for exporting: 0.39 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 2430677 bytes
Log file: prism_from-prism_to-tra_ex_consensus.4-4_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.335 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:15:22 GMT+02:00 2026
Hostname: n23m0134.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956733/tmpv8cnirtyprism_from-prism_to-tra_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956733/tmp9r9wzzpiprism_from-prism_to-tra_ex_consensus.4-4_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956733/tmpv8cnirtyprism_from-prism_to-tra_ex_consensus.4-4_tmp_indir_/model.prism"...
Type: MDP
Modules: process1 process2 process3 process4
Actions: [] [done]
Variables: counter pc1 coin1 pc2 coin2 pc3 coin3 pc4 coin4
Labels: "finished" "agree"
Building model (engine:explicit)...
Computing reachable states... 43136 states
Reachable states exploration and model construction done in 0.238 secs.
Sorting reachable states list...
Time for model construction: 0.348 seconds.
Type: MDP
States: 43136 (1 initial)
Transitions: 144352
Choices: 115840
Max/avg: 4/2.69
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956733/tmp9r9wzzpiprism_from-prism_to-tra_ex_consensus.4-4_tmp_outdir_/model.pexp"...
Time for exporting: 0.336 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 2430677 bytes