Log files for model consensus.6-2 and tool configuration prism_from-prism_to-tra-gz_ex
[27232466.0, 27232466.0, 27232466.0, 27232466.0, 27232466.0]
Log file: prism_from-prism_to-tra-gz_ex_consensus.6-2_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 25.635 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:47:55 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.4957947/tmpr_m76i1yprism_from-prism_to-tra-gz_ex_consensus.6-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957947/tmpb44v73ezprism_from-prism_to-tra-gz_ex_consensus.6-2_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957947/tmpr_m76i1yprism_from-prism_to-tra-gz_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... 510006 1110500 1258240 states
Reachable states exploration and model construction done in 6.736 secs.
Sorting reachable states list...
Time for model construction: 8.425 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.4957947/tmpb44v73ezprism_from-prism_to-tra-gz_ex_consensus.6-2_tmp_outdir_/model.pexp"...
Time for exporting: 16.578 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 27232466 bytes
Log file: prism_from-prism_to-tra-gz_ex_consensus.6-2_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 25.036 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:32:23 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.4955051/tmpgbw7m2e1prism_from-prism_to-tra-gz_ex_consensus.6-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955051/tmplfetfiooprism_from-prism_to-tra-gz_ex_consensus.6-2_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955051/tmpgbw7m2e1prism_from-prism_to-tra-gz_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... 509331 1116355 1258240 states
Reachable states exploration and model construction done in 6.738 secs.
Sorting reachable states list...
Time for model construction: 8.386 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.4955051/tmplfetfiooprism_from-prism_to-tra-gz_ex_consensus.6-2_tmp_outdir_/model.pexp"...
Time for exporting: 15.976 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 27232466 bytes
Log file: prism_from-prism_to-tra-gz_ex_consensus.6-2_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 26.125 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:28:38 GMT+02:00 2026
Hostname: n23m0255.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957306/tmp8fy9gxvqprism_from-prism_to-tra-gz_ex_consensus.6-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957306/tmpamst936bprism_from-prism_to-tra-gz_ex_consensus.6-2_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957306/tmp8fy9gxvqprism_from-prism_to-tra-gz_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... 445689 991033 1258240 states
Reachable states exploration and model construction done in 7.606 secs.
Sorting reachable states list...
Time for model construction: 9.288 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.4957306/tmpamst936bprism_from-prism_to-tra-gz_ex_consensus.6-2_tmp_outdir_/model.pexp"...
Time for exporting: 16.173 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 27232466 bytes
Log file: prism_from-prism_to-tra-gz_ex_consensus.6-2_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 24.982 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:23:19 GMT+02:00 2026
Hostname: n23m0314.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957096/tmp0222vm94prism_from-prism_to-tra-gz_ex_consensus.6-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957096/tmpsbc11n14prism_from-prism_to-tra-gz_ex_consensus.6-2_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957096/tmp0222vm94prism_from-prism_to-tra-gz_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... 505657 1102029 1258240 states
Reachable states exploration and model construction done in 6.803 secs.
Sorting reachable states list...
Time for model construction: 8.439 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.4957096/tmpsbc11n14prism_from-prism_to-tra-gz_ex_consensus.6-2_tmp_outdir_/model.pexp"...
Time for exporting: 15.948 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 27232466 bytes
Log file: prism_from-prism_to-tra-gz_ex_consensus.6-2_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 26.517 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:04:11 GMT+02:00 2026
Hostname: n23m0280.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956322/tmpmd1kqdwkprism_from-prism_to-tra-gz_ex_consensus.6-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956322/tmp5ilqru4qprism_from-prism_to-tra-gz_ex_consensus.6-2_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956322/tmpmd1kqdwkprism_from-prism_to-tra-gz_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... 495620 1075432 1258240 states
Reachable states exploration and model construction done in 6.916 secs.
Sorting reachable states list...
Time for model construction: 8.601 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.4956322/tmp5ilqru4qprism_from-prism_to-tra-gz_ex_consensus.6-2_tmp_outdir_/model.pexp"...
Time for exporting: 17.255 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 27232466 bytes