Log files for model consensus.4-4 and tool configuration prism_from-prism_to-umb-xz_ex
[255332.0, 255332.0, 246320.0, 255232.0, 255332.0]
Log file: prism_from-prism_to-umb-xz_ex_consensus.4-4_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 2.235 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:34:41 GMT+02:00 2026
Hostname: n23m0040.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955140/tmp_h2sk54iprism_from-prism_to-umb-xz_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955140/tmp63di3nmvprism_from-prism_to-umb-xz_ex_consensus.4-4_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955140/tmp_h2sk54iprism_from-prism_to-umb-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.269 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 UMB format to file "/w0/tmp/slurm_tq429871.4955140/tmp63di3nmvprism_from-prism_to-umb-xz_ex_consensus.4-4_tmp_outdir_/model.umbxz"...
Time for exporting: 1.23 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 255332 bytes
Log file: prism_from-prism_to-umb-xz_ex_consensus.4-4_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 2.500 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:02:26 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.4956255/tmpw9i47lveprism_from-prism_to-umb-xz_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956255/tmp7aqplnbzprism_from-prism_to-umb-xz_ex_consensus.4-4_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956255/tmpw9i47lveprism_from-prism_to-umb-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.274 secs.
Sorting reachable states list...
Time for model construction: 0.484 seconds.
Type: MDP
States: 43136 (1 initial)
Transitions: 144352
Choices: 115840
Max/avg: 4/2.69
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956255/tmp7aqplnbzprism_from-prism_to-umb-xz_ex_consensus.4-4_tmp_outdir_/model.umbxz"...
Time for exporting: 1.356 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 255332 bytes
Log file: prism_from-prism_to-umb-xz_ex_consensus.4-4_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 2.251 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:24:29 GMT+02:00 2026
Hostname: r23m0213.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957133/tmp4i175cddprism_from-prism_to-umb-xz_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957133/tmpsheozwv2prism_from-prism_to-umb-xz_ex_consensus.4-4_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957133/tmp4i175cddprism_from-prism_to-umb-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.271 secs.
Sorting reachable states list...
Time for model construction: 0.401 seconds.
Type: MDP
States: 43136 (1 initial)
Transitions: 144352
Choices: 115840
Max/avg: 4/2.69
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957133/tmpsheozwv2prism_from-prism_to-umb-xz_ex_consensus.4-4_tmp_outdir_/model.umbxz"...
Time for exporting: 1.244 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 246320 bytes
Log file: prism_from-prism_to-umb-xz_ex_consensus.4-4_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 2.308 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:37:33 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.4955256/tmpnq_fpftpprism_from-prism_to-umb-xz_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955256/tmpxfolzl7mprism_from-prism_to-umb-xz_ex_consensus.4-4_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955256/tmpnq_fpftpprism_from-prism_to-umb-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.287 secs.
Sorting reachable states list...
Time for model construction: 0.407 seconds.
Type: MDP
States: 43136 (1 initial)
Transitions: 144352
Choices: 115840
Max/avg: 4/2.69
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955256/tmpxfolzl7mprism_from-prism_to-umb-xz_ex_consensus.4-4_tmp_outdir_/model.umbxz"...
Time for exporting: 1.266 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 255232 bytes
Log file: prism_from-prism_to-umb-xz_ex_consensus.4-4_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 2.323 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:42:41 GMT+02:00 2026
Hostname: n23m0033.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955472/tmpltg0l2n6prism_from-prism_to-umb-xz_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955472/tmpce2se111prism_from-prism_to-umb-xz_ex_consensus.4-4_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955472/tmpltg0l2n6prism_from-prism_to-umb-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.288 secs.
Sorting reachable states list...
Time for model construction: 0.41 seconds.
Type: MDP
States: 43136 (1 initial)
Transitions: 144352
Choices: 115840
Max/avg: 4/2.69
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955472/tmpce2se111prism_from-prism_to-umb-xz_ex_consensus.4-4_tmp_outdir_/model.umbxz"...
Time for exporting: 1.256 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 255332 bytes