Log files for model egl.10-2 and tool configuration prism_from-prism_import_ex

Parsed values
[MO, MO, MO, MO, MO]
Log file: prism_from-prism_import_ex_egl.10-2_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 160.001 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:42:47 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.4966542/tmp5abtf5w7prism_from-prism_import_ex_egl.10-2_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966542/tmp5abtf5w7prism_from-prism_import_ex_egl.10-2_tmp_indir_/model.prism"...

Type:        DTMC
Modules:     counter partyA partyB
Actions:     [] [receiveB] [receiveA]
Variables:   b n phase party b0 b20 b1 b21 b2 b22 b3 b23 b4 b24 b5 b25 b6 b26 b7 b27 b8 b28 b9 b29 b10 b30 b11 b31 b12 b32 b13 b33 b14 b34 b15 b35 b16 b36 b17 b37 b18 b38 b19 b39 a0 a20 a1 a21 a2 a22 a3 a23 a4 a24 a5 a25 a6 a26 a7 a27 a8 a28 a9 a29 a10 a30 a11 a31 a12 a32 a13 a33 a14 a34 a15 a35 a16 a36 a17 a37 a18 a38 a19 a39
Labels:      "knowB" "knowA"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 343012 684271 1005479 1460150 1914377 2360607 2845223 3281459 3764530 4232319 4709116 5163801 5613178 6063952 6538882 6997018 7487869 7913043 8340702 8784614 9189600 9633696 10106317 10570008 11016700 11480827 11942847 12408005 12889828 13337744 13760222 14201604 14632556 15125944 15580501 16037336 16503381 16939109 17461828 17895413 18349253 18801808 19313241 19759757 20217033 20675147 21101467 21524673 21960861 22385868 22794758 23205529
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_egl.10-2_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 163.751 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:34:55 GMT+02:00 2026
Hostname: n23m0358.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4966207/tmpe_69nwoxprism_from-prism_import_ex_egl.10-2_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966207/tmpe_69nwoxprism_from-prism_import_ex_egl.10-2_tmp_indir_/model.prism"...

Type:        DTMC
Modules:     counter partyA partyB
Actions:     [] [receiveB] [receiveA]
Variables:   b n phase party b0 b20 b1 b21 b2 b22 b3 b23 b4 b24 b5 b25 b6 b26 b7 b27 b8 b28 b9 b29 b10 b30 b11 b31 b12 b32 b13 b33 b14 b34 b15 b35 b16 b36 b17 b37 b18 b38 b19 b39 a0 a20 a1 a21 a2 a22 a3 a23 a4 a24 a5 a25 a6 a26 a7 a27 a8 a28 a9 a29 a10 a30 a11 a31 a12 a32 a13 a33 a14 a34 a15 a35 a16 a36 a17 a37 a18 a38 a19 a39
Labels:      "knowB" "knowA"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 346082 685143 1005691 1469225 1958156 2438531 2916273 3381188 3869909 4313303 4762581 5221960 5727265 6199393 6554990 7020657 7463154 7918280 8377957 8866653 9345166 9849228 10310836 10786227 11208492 11626315 12097430 12542410 13030029 13503998 13984691 14454695 14922207 15400341 15856723 16332860 16757328 17164598 17587539 18012219 18479102 18898556 19334928 19806897 20328498 20775723 21231234 21679865 22184868 22638006 23090213 23553566 24003946
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_egl.10-2_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 153.767 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:02:54 GMT+02:00 2026
Hostname: n23m0125.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964601/tmpu38ra13eprism_from-prism_import_ex_egl.10-2_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964601/tmpu38ra13eprism_from-prism_import_ex_egl.10-2_tmp_indir_/model.prism"...

Type:        DTMC
Modules:     counter partyA partyB
Actions:     [] [receiveB] [receiveA]
Variables:   b n phase party b0 b20 b1 b21 b2 b22 b3 b23 b4 b24 b5 b25 b6 b26 b7 b27 b8 b28 b9 b29 b10 b30 b11 b31 b12 b32 b13 b33 b14 b34 b15 b35 b16 b36 b17 b37 b18 b38 b19 b39 a0 a20 a1 a21 a2 a22 a3 a23 a4 a24 a5 a25 a6 a26 a7 a27 a8 a28 a9 a29 a10 a30 a11 a31 a12 a32 a13 a33 a14 a34 a15 a35 a16 a36 a17 a37 a18 a38 a19 a39
Labels:      "knowB" "knowA"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 370126 742511 1123084 1634230 2150677 2663169 3171051 3716507 4212063 4768534 5213616 5728998 6174070 6607893 7113472 7613465 8146891 8615575 8627083 9142293 9618652 10117646 10578859 11090404 11569725 12114627 12635272 13129668 13632195 14089688 14519047 14941847 15355527 15663713 16120192 16564579 17110606 17613854 18136427 18642745 19157880 19660489 20217263 20767726 21235945 21700157 22174177 22664882 23166211 23610522
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_egl.10-2_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 161.961 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 06:59:31 GMT+02:00 2026
Hostname: n23m0042.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4961106/tmpv2wb8j39prism_from-prism_import_ex_egl.10-2_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4961106/tmpv2wb8j39prism_from-prism_import_ex_egl.10-2_tmp_indir_/model.prism"...

Type:        DTMC
Modules:     counter partyA partyB
Actions:     [] [receiveB] [receiveA]
Variables:   b n phase party b0 b20 b1 b21 b2 b22 b3 b23 b4 b24 b5 b25 b6 b26 b7 b27 b8 b28 b9 b29 b10 b30 b11 b31 b12 b32 b13 b33 b14 b34 b15 b35 b16 b36 b17 b37 b18 b38 b19 b39 a0 a20 a1 a21 a2 a22 a3 a23 a4 a24 a5 a25 a6 a26 a7 a27 a8 a28 a9 a29 a10 a30 a11 a31 a12 a32 a13 a33 a14 a34 a15 a35 a16 a36 a17 a37 a18 a38 a19 a39
Labels:      "knowB" "knowA"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 349957 685732 1016395 1491277 1954339 2458496 2929907 3433804 3885124 4354527 4822192 5247315 5736005 6212445 6697091 7154642 7422780 7913263 8343329 8792023 9230101 9722296 10217714 10698696 11187721 11677912 12137066 12557678 13014853 13433750 13870493 14318592 14787650 15268898 15733606 16220391 16682871 17127082 17624321 18139428 18556798 18973934 19399760 19815571 20289720 20688534 21052924 21559023 21993314 22466756 22906255 23419134 23959391
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_egl.10-2_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 154.115 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:45:20 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.4963087/tmpym_bkx1tprism_from-prism_import_ex_egl.10-2_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4963087/tmpym_bkx1tprism_from-prism_import_ex_egl.10-2_tmp_indir_/model.prism"...

Type:        DTMC
Modules:     counter partyA partyB
Actions:     [] [receiveB] [receiveA]
Variables:   b n phase party b0 b20 b1 b21 b2 b22 b3 b23 b4 b24 b5 b25 b6 b26 b7 b27 b8 b28 b9 b29 b10 b30 b11 b31 b12 b32 b13 b33 b14 b34 b15 b35 b16 b36 b17 b37 b18 b38 b19 b39 a0 a20 a1 a21 a2 a22 a3 a23 a4 a24 a5 a25 a6 a26 a7 a27 a8 a28 a9 a29 a10 a30 a11 a31 a12 a32 a13 a33 a14 a34 a15 a35 a16 a36 a17 a37 a18 a38 a19 a39
Labels:      "knowB" "knowA"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 356313 711547 1043155 1538504 1997306 2483901 2973607 3444673 3942404 4410146 4853826 5339102 5839976 6314069 6792281 7239575 7715971 8197244 8639273 9080828 9538932 10030395 10511339 10988319 11477524 11990368 12480475 12942357 13380561 13837772 14292145 14744049 15231675 15738160 16236278 16695329 17168501 17638992 18123153 18634472 19110469 19586969 20046713 20507328 20935867 21377845 21794504 22214551 22701632 23087545
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g