Log consensus.4-4_prism_from-prism_import

Log file: prism_from-prism_import_ex_consensus.4-4_rep1.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 1.327 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:37:01 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.4962713/tmpxx_bj299prism_from-prism_import_ex_consensus.4-4_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962713/tmpxx_bj299prism_from-prism_import_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.393 seconds.

Type:        MDP
States:      43136 (1 initial)
Transitions: 144352
Choices:     115840
Max/avg:     4/2.69


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

Log file: prism_from-prism_import_ex_consensus.4-4_rep2.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 1.315 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:43:06 GMT+02:00 2026
Hostname: n23m0120.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962968/tmpaqso6qltprism_from-prism_import_ex_consensus.4-4_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962968/tmpaqso6qltprism_from-prism_import_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.23 secs.
Sorting reachable states list...

Time for model construction: 0.331 seconds.

Type:        MDP
States:      43136 (1 initial)
Transitions: 144352
Choices:     115840
Max/avg:     4/2.69


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

Log file: prism_from-prism_import_ex_consensus.4-4_rep3.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 1.373 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:08:10 GMT+02:00 2026
Hostname: n23m0254.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964846/tmp69cwnk58prism_from-prism_import_ex_consensus.4-4_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964846/tmp69cwnk58prism_from-prism_import_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.268 secs.
Sorting reachable states list...

Time for model construction: 0.391 seconds.

Type:        MDP
States:      43136 (1 initial)
Transitions: 144352
Choices:     115840
Max/avg:     4/2.69


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

Log file: prism_from-prism_import_ex_consensus.4-4_rep4.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 1.337 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:34:49 GMT+02:00 2026
Hostname: n23m0065.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962621/tmpnhu6kj5dprism_from-prism_import_ex_consensus.4-4_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962621/tmpnhu6kj5dprism_from-prism_import_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.497 seconds.

Type:        MDP
States:      43136 (1 initial)
Transitions: 144352
Choices:     115840
Max/avg:     4/2.69


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

Log file: prism_from-prism_import_ex_consensus.4-4_rep5.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 1.418 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:05:00 GMT+02:00 2026
Hostname: r23m0207.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964715/tmpm8ilz3htprism_from-prism_import_ex_consensus.4-4_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964715/tmpm8ilz3htprism_from-prism_import_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.32 secs.
Sorting reachable states list...

Time for model construction: 0.524 seconds.

Type:        MDP
States:      43136 (1 initial)
Transitions: 144352
Choices:     115840
Max/avg:     4/2.69


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

Log files for model consensus.4-4 and tool configuration prism_from-prism_import_ex