Log files for model consensus.4-4 and tool configuration prism_from-prism_to-umb_ex
[4071936.0, 4071936.0, 4071936.0, 4071936.0, 4071936.0]
Log file: prism_from-prism_to-umb_ex_consensus.4-4_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 1.346 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:18:47 GMT+02:00 2026
Hostname: n23m0107.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956900/tmpkqk5bss3prism_from-prism_to-umb_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956900/tmp6mp1vz2sprism_from-prism_to-umb_ex_consensus.4-4_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956900/tmpkqk5bss3prism_from-prism_to-umb_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.395 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.4956900/tmp6mp1vz2sprism_from-prism_to-umb_ex_consensus.4-4_tmp_outdir_/model.umb"...
Time for exporting: 0.124 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 4071936 bytes
Log file: prism_from-prism_to-umb_ex_consensus.4-4_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 2.981 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:43:16 GMT+02:00 2026
Hostname: r23m0211.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955486/tmpd4au5_bzprism_from-prism_to-umb_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955486/tmpd8s_4admprism_from-prism_to-umb_ex_consensus.4-4_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955486/tmpd4au5_bzprism_from-prism_to-umb_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.501 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.4955486/tmpd8s_4admprism_from-prism_to-umb_ex_consensus.4-4_tmp_outdir_/model.umb"...
Time for exporting: 0.245 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 4071936 bytes
Log file: prism_from-prism_to-umb_ex_consensus.4-4_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 1.411 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:51:36 GMT+02:00 2026
Hostname: n23m0276.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958056/tmpb_xhmaw5prism_from-prism_to-umb_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958056/tmpuo60pdloprism_from-prism_to-umb_ex_consensus.4-4_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958056/tmpb_xhmaw5prism_from-prism_to-umb_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.273 secs.
Sorting reachable states list...
Time for model construction: 0.394 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.4958056/tmpuo60pdloprism_from-prism_to-umb_ex_consensus.4-4_tmp_outdir_/model.umb"...
Time for exporting: 0.121 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 4071936 bytes
Log file: prism_from-prism_to-umb_ex_consensus.4-4_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 1.436 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:50:08 GMT+02:00 2026
Hostname: n23m0056.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955771/tmp497ayg7yprism_from-prism_to-umb_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955771/tmp54n9urpnprism_from-prism_to-umb_ex_consensus.4-4_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955771/tmp497ayg7yprism_from-prism_to-umb_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.304 secs.
Sorting reachable states list...
Time for model construction: 0.429 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.4955771/tmp54n9urpnprism_from-prism_to-umb_ex_consensus.4-4_tmp_outdir_/model.umb"...
Time for exporting: 0.119 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 4071936 bytes
Log file: prism_from-prism_to-umb_ex_consensus.4-4_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 1.322 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:53:52 GMT+02:00 2026
Hostname: r23m0216.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958154/tmpl9zanopwprism_from-prism_to-umb_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958154/tmp4c1_0sw7prism_from-prism_to-umb_ex_consensus.4-4_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958154/tmpl9zanopwprism_from-prism_to-umb_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.265 secs.
Sorting reachable states list...
Time for model construction: 0.377 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.4958154/tmp4c1_0sw7prism_from-prism_to-umb_ex_consensus.4-4_tmp_outdir_/model.umb"...
Time for exporting: 0.114 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 4071936 bytes