Log files for model consensus.4-4 and tool configuration prism_from-prism_to-tra-xz_ex
[1.793, 1.825, 1.789, 1.818, 1.853]
Log file: prism_from-prism_to-tra-xz_ex_consensus.4-4_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: 2.782 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:24:28 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.4957139/tmpq6fmy60hprism_from-prism_to-tra-xz_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957139/tmprhrbrnpeprism_from-prism_to-tra-xz_ex_consensus.4-4_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957139/tmpq6fmy60hprism_from-prism_to-tra-xz_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.263 secs.
Sorting reachable states list...
Time for model construction: 0.379 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.4957139/tmprhrbrnpeprism_from-prism_to-tra-xz_ex_consensus.4-4_tmp_outdir_/model.pexp"...
Time for exporting: 1.793 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 251584 bytes
Log file: prism_from-prism_to-tra-xz_ex_consensus.4-4_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: 2.792 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:17:03 GMT+02:00 2026
Hostname: n23m0248.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956845/tmp6us165axprism_from-prism_to-tra-xz_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956845/tmp4kuivyx6prism_from-prism_to-tra-xz_ex_consensus.4-4_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956845/tmp6us165axprism_from-prism_to-tra-xz_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.383 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.4956845/tmp4kuivyx6prism_from-prism_to-tra-xz_ex_consensus.4-4_tmp_outdir_/model.pexp"...
Time for exporting: 1.825 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 251584 bytes
Log file: prism_from-prism_to-tra-xz_ex_consensus.4-4_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: 2.762 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:50:42 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.4955785/tmp29r574roprism_from-prism_to-tra-xz_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955785/tmpc9vjzttgprism_from-prism_to-tra-xz_ex_consensus.4-4_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955785/tmp29r574roprism_from-prism_to-tra-xz_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.38 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.4955785/tmpc9vjzttgprism_from-prism_to-tra-xz_ex_consensus.4-4_tmp_outdir_/model.pexp"...
Time for exporting: 1.789 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 251584 bytes
Log file: prism_from-prism_to-tra-xz_ex_consensus.4-4_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: 2.820 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:44:30 GMT+02:00 2026
Hostname: n23m0069.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957853/tmpb663ytraprism_from-prism_to-tra-xz_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957853/tmpgx4nhg88prism_from-prism_to-tra-xz_ex_consensus.4-4_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957853/tmpb663ytraprism_from-prism_to-tra-xz_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.266 secs.
Sorting reachable states list...
Time for model construction: 0.379 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.4957853/tmpgx4nhg88prism_from-prism_to-tra-xz_ex_consensus.4-4_tmp_outdir_/model.pexp"...
Time for exporting: 1.818 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 251584 bytes
Log file: prism_from-prism_to-tra-xz_ex_consensus.4-4_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: 2.891 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:58:27 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.4958332/tmpm9fvnmsqprism_from-prism_to-tra-xz_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958332/tmpwj_n3d7hprism_from-prism_to-tra-xz_ex_consensus.4-4_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958332/tmpm9fvnmsqprism_from-prism_to-tra-xz_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.272 secs.
Sorting reachable states list...
Time for model construction: 0.384 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.4958332/tmpwj_n3d7hprism_from-prism_to-tra-xz_ex_consensus.4-4_tmp_outdir_/model.pexp"...
Time for exporting: 1.853 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 251584 bytes