Log consensus.6-2_prism_from-prism_to-umb

Log file: prism_from-prism_to-umb_ex_consensus.6-2_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: 9.369 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 22:46:06 GMT+02:00 2026
Hostname: n23m0259.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955606/tmps1pbx5rgprism_from-prism_to-umb_ex_consensus.6-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955606/tmprqcpmuowprism_from-prism_to-umb_ex_consensus.6-2_tmp_outdir_/model.umb:format=umb,states=false,zip=false'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955606/tmps1pbx5rgprism_from-prism_to-umb_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... 521493 1136607 1258240 states
Reachable states exploration and model construction done in 6.626 secs.
Sorting reachable states list...

Time for model construction: 8.308 seconds.

Type:        MDP
States:      1258240 (1 initial)
Transitions: 6236736
Choices:     5008128
Max/avg:     6/3.98

Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955606/tmprqcpmuowprism_from-prism_to-umb_ex_consensus.6-2_tmp_outdir_/model.umb"...
Time for exporting: 0.281 seconds.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.umb:	Size of output file is 170434048 bytes

Log file: prism_from-prism_to-umb_ex_consensus.6-2_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: 8.749 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 23:03:36 GMT+02:00 2026
Hostname: n23m0057.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956286/tmp5qw4_l97prism_from-prism_to-umb_ex_consensus.6-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956286/tmp9pcxxnqbprism_from-prism_to-umb_ex_consensus.6-2_tmp_outdir_/model.umb:format=umb,states=false,zip=false'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956286/tmp5qw4_l97prism_from-prism_to-umb_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... 542154 1200494 1258240 states
Reachable states exploration and model construction done in 6.23 secs.
Sorting reachable states list...

Time for model construction: 7.845 seconds.

Type:        MDP
States:      1258240 (1 initial)
Transitions: 6236736
Choices:     5008128
Max/avg:     6/3.98

Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956286/tmp9pcxxnqbprism_from-prism_to-umb_ex_consensus.6-2_tmp_outdir_/model.umb"...
Time for exporting: 0.338 seconds.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.umb:	Size of output file is 170434048 bytes

Log file: prism_from-prism_to-umb_ex_consensus.6-2_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: 10.009 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 23:09:30 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.4956544/tmpunjo4ltoprism_from-prism_to-umb_ex_consensus.6-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956544/tmppmjsbrveprism_from-prism_to-umb_ex_consensus.6-2_tmp_outdir_/model.umb:format=umb,states=false,zip=false'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956544/tmpunjo4ltoprism_from-prism_to-umb_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... 475991 1033498 1258240 states
Reachable states exploration and model construction done in 7.136 secs.
Sorting reachable states list...

Time for model construction: 8.974 seconds.

Type:        MDP
States:      1258240 (1 initial)
Transitions: 6236736
Choices:     5008128
Max/avg:     6/3.98

Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956544/tmppmjsbrveprism_from-prism_to-umb_ex_consensus.6-2_tmp_outdir_/model.umb"...
Time for exporting: 0.301 seconds.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.umb:	Size of output file is 170434048 bytes

Log file: prism_from-prism_to-umb_ex_consensus.6-2_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: 9.801 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 00:01:54 GMT+02:00 2026
Hostname: n23m0303.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958497/tmp6n9a0xd4prism_from-prism_to-umb_ex_consensus.6-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958497/tmpa5snjambprism_from-prism_to-umb_ex_consensus.6-2_tmp_outdir_/model.umb:format=umb,states=false,zip=false'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958497/tmp6n9a0xd4prism_from-prism_to-umb_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... 479771 1046294 1258240 states
Reachable states exploration and model construction done in 7.124 secs.
Sorting reachable states list...

Time for model construction: 8.755 seconds.

Type:        MDP
States:      1258240 (1 initial)
Transitions: 6236736
Choices:     5008128
Max/avg:     6/3.98

Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4958497/tmpa5snjambprism_from-prism_to-umb_ex_consensus.6-2_tmp_outdir_/model.umb"...
Time for exporting: 0.354 seconds.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.umb:	Size of output file is 170434048 bytes

Log file: prism_from-prism_to-umb_ex_consensus.6-2_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: 10.441 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 23:33:24 GMT+02:00 2026
Hostname: n23m0308.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957507/tmpbago744gprism_from-prism_to-umb_ex_consensus.6-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957507/tmpgfp31iefprism_from-prism_to-umb_ex_consensus.6-2_tmp_outdir_/model.umb:format=umb,states=false,zip=false'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957507/tmpbago744gprism_from-prism_to-umb_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... 439014 972669 1258240 states
Reachable states exploration and model construction done in 7.515 secs.
Sorting reachable states list...

Time for model construction: 9.426 seconds.

Type:        MDP
States:      1258240 (1 initial)
Transitions: 6236736
Choices:     5008128
Max/avg:     6/3.98

Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957507/tmpgfp31iefprism_from-prism_to-umb_ex_consensus.6-2_tmp_outdir_/model.umb"...
Time for exporting: 0.349 seconds.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.umb:	Size of output file is 170434048 bytes

Log files for model consensus.6-2 and tool configuration prism_from-prism_to-umb_ex