Log files for model consensus.6-2 and tool configuration prism_from-prism_to-tra-xz_ex
[10065212.0, 10065212.0, 10065212.0, 10065212.0, 10065212.0]
Log file: prism_from-prism_to-tra-xz_ex_consensus.6-2_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 129.280 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:01:51 GMT+02:00 2026
Hostname: n23m0313.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956232/tmptl_6zmqnprism_from-prism_to-tra-xz_ex_consensus.6-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956232/tmpxncwh6yuprism_from-prism_to-tra-xz_ex_consensus.6-2_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956232/tmptl_6zmqnprism_from-prism_to-tra-xz_ex_consensus.6-2_tmp_indir_/model.prism"...
Type: MDP
Modules: process1 process2 process3 process4 process5 process6
Actions: [] [done]
Variables: counter pc1 coin1 pc2 coin2 pc3 coin3 pc4 coin4 pc5 coin5 pc6 coin6
Labels: "finished" "agree"
Building model (engine:explicit)...
Computing reachable states... 479140 1008544 1258240 states
Reachable states exploration and model construction done in 7.249 secs.
Sorting reachable states list...
Time for model construction: 9.586 seconds.
Type: MDP
States: 1258240 (1 initial)
Transitions: 6236736
Choices: 5008128
Max/avg: 6/3.98
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956232/tmpxncwh6yuprism_from-prism_to-tra-xz_ex_consensus.6-2_tmp_outdir_/model.pexp"...
Time for exporting: 118.995 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 10065212 bytes
Log file: prism_from-prism_to-tra-xz_ex_consensus.6-2_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 129.827 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:05:21 GMT+02:00 2026
Hostname: n23m0050.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956364/tmpk70qa5crprism_from-prism_to-tra-xz_ex_consensus.6-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956364/tmpdyste31aprism_from-prism_to-tra-xz_ex_consensus.6-2_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956364/tmpk70qa5crprism_from-prism_to-tra-xz_ex_consensus.6-2_tmp_indir_/model.prism"...
Type: MDP
Modules: process1 process2 process3 process4 process5 process6
Actions: [] [done]
Variables: counter pc1 coin1 pc2 coin2 pc3 coin3 pc4 coin4 pc5 coin5 pc6 coin6
Labels: "finished" "agree"
Building model (engine:explicit)...
Computing reachable states... 455771 1016816 1258240 states
Reachable states exploration and model construction done in 7.553 secs.
Sorting reachable states list...
Time for model construction: 9.435 seconds.
Type: MDP
States: 1258240 (1 initial)
Transitions: 6236736
Choices: 5008128
Max/avg: 6/3.98
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956364/tmpdyste31aprism_from-prism_to-tra-xz_ex_consensus.6-2_tmp_outdir_/model.pexp"...
Time for exporting: 119.752 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 10065212 bytes
Log file: prism_from-prism_to-tra-xz_ex_consensus.6-2_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 93.466 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:57:18 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.4958291/tmpcwrrjdeyprism_from-prism_to-tra-xz_ex_consensus.6-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958291/tmp40mbp_a7prism_from-prism_to-tra-xz_ex_consensus.6-2_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958291/tmpcwrrjdeyprism_from-prism_to-tra-xz_ex_consensus.6-2_tmp_indir_/model.prism"...
Type: MDP
Modules: process1 process2 process3 process4 process5 process6
Actions: [] [done]
Variables: counter pc1 coin1 pc2 coin2 pc3 coin3 pc4 coin4 pc5 coin5 pc6 coin6
Labels: "finished" "agree"
Building model (engine:explicit)...
Computing reachable states... 509094 1112246 1258240 states
Reachable states exploration and model construction done in 6.767 secs.
Sorting reachable states list...
Time for model construction: 8.523 seconds.
Type: MDP
States: 1258240 (1 initial)
Transitions: 6236736
Choices: 5008128
Max/avg: 6/3.98
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958291/tmp40mbp_a7prism_from-prism_to-tra-xz_ex_consensus.6-2_tmp_outdir_/model.pexp"...
Time for exporting: 84.32 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 10065212 bytes
Log file: prism_from-prism_to-tra-xz_ex_consensus.6-2_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 102.140 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:56:09 GMT+02:00 2026
Hostname: r23m0206.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958241/tmpms36nboaprism_from-prism_to-tra-xz_ex_consensus.6-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958241/tmpi2hkvnhfprism_from-prism_to-tra-xz_ex_consensus.6-2_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958241/tmpms36nboaprism_from-prism_to-tra-xz_ex_consensus.6-2_tmp_indir_/model.prism"...
Type: MDP
Modules: process1 process2 process3 process4 process5 process6
Actions: [] [done]
Variables: counter pc1 coin1 pc2 coin2 pc3 coin3 pc4 coin4 pc5 coin5 pc6 coin6
Labels: "finished" "agree"
Building model (engine:explicit)...
Computing reachable states... 503663 1091290 1258240 states
Reachable states exploration and model construction done in 6.844 secs.
Sorting reachable states list...
Time for model construction: 8.559 seconds.
Type: MDP
States: 1258240 (1 initial)
Transitions: 6236736
Choices: 5008128
Max/avg: 6/3.98
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958241/tmpi2hkvnhfprism_from-prism_to-tra-xz_ex_consensus.6-2_tmp_outdir_/model.pexp"...
Time for exporting: 92.932 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 10065212 bytes
Log file: prism_from-prism_to-tra-xz_ex_consensus.6-2_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 129.103 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:46:47 GMT+02:00 2026
Hostname: n23m0047.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957898/tmpitwsmuc1prism_from-prism_to-tra-xz_ex_consensus.6-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957898/tmpzigf73swprism_from-prism_to-tra-xz_ex_consensus.6-2_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957898/tmpitwsmuc1prism_from-prism_to-tra-xz_ex_consensus.6-2_tmp_indir_/model.prism"...
Type: MDP
Modules: process1 process2 process3 process4 process5 process6
Actions: [] [done]
Variables: counter pc1 coin1 pc2 coin2 pc3 coin3 pc4 coin4 pc5 coin5 pc6 coin6
Labels: "finished" "agree"
Building model (engine:explicit)...
Computing reachable states... 513973 1104147 1258240 states
Reachable states exploration and model construction done in 6.811 secs.
Sorting reachable states list...
Time for model construction: 8.595 seconds.
Type: MDP
States: 1258240 (1 initial)
Transitions: 6236736
Choices: 5008128
Max/avg: 6/3.98
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957898/tmpzigf73swprism_from-prism_to-tra-xz_ex_consensus.6-2_tmp_outdir_/model.pexp"...
Time for exporting: 119.858 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 10065212 bytes