Log files for model egl.10-2 and tool configuration prism_from-prism_to-tra-xz_ex
Log file: prism_from-prism_to-tra-xz_ex_egl.10-2_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 164.446 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:10:04 GMT+02:00 2026
Hostname: n23m0047.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956569/tmpsjbscpcoprism_from-prism_to-tra-xz_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956569/tmpwl06tlv3prism_from-prism_to-tra-xz_ex_egl.10-2_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956569/tmpsjbscpcoprism_from-prism_to-tra-xz_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... 325956 659243 977843 1383891 1845022 2298353 2768607 3217998 3705592 4160276 4600865 5046115 5480297 5936102 6408709 6893187 7312082 7739478 7968914 8422684 8845008 9241701 9674835 10089859 10550934 11023637 11467685 11890176 12322901 12765237 13186428 13591449 14035816 14465562 14872922 15362318 15813176 16286132 16738834 17179695 17682277 18161112 18625654 19085223 19548575 20046742 20492422 20888844 21304285 21758730 22174520 22602298 23017526 23464700
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: File does not exist.
Log file: prism_from-prism_to-tra-xz_ex_egl.10-2_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 166.260 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:46:42 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.4955629/tmpko58r1u_prism_from-prism_to-tra-xz_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955629/tmp800r9cfdprism_from-prism_to-tra-xz_ex_egl.10-2_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955629/tmpko58r1u_prism_from-prism_to-tra-xz_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... 334722 659346 974894 1397872 1839485 2297012 2761035 3209844 3683589 4105395 4514684 4958234 5388607 5844697 6274135 6755509 7175523 7373300 7840337 8244064 8654625 9084565 9534545 9998742 10429374 10901630 11339514 11787397 12247087 12653317 13073773 13473959 13888964 14311561 14784332 15233904 15670060 16130187 16568372 17057919 17523516 17984308 18451076 18900690 19370233 19802556 20215797 20631839 21043742 21571274 22036429 22538160 23064752 23609729
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: File does not exist.
Log file: prism_from-prism_to-tra-xz_ex_egl.10-2_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 157.257 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:38:21 GMT+02:00 2026
Hostname: n23m0295.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957650/tmptg0uvibvprism_from-prism_to-tra-xz_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957650/tmpni4u7x2pprism_from-prism_to-tra-xz_ex_egl.10-2_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957650/tmptg0uvibvprism_from-prism_to-tra-xz_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... 353520 691591 1020327 1483986 1961317 2442357 2936101 3417128 3910487 4375517 4813902 5270926 5767670 6225686 6700985 7184662 7683760 7963512 8413840 8870675 9285261 9750784 10225969 10725403 11187692 11677754 12173236 12650061 13106796 13537587 13992458 14434422 14866985 15313182 15820299 16305064 16766374 17203636 17662261 18183087 18641451 19105713 19552793 19987204 20494494 20880646 21308259 21740414 22216465 22670914 23108911
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: File does not exist.
Log file: prism_from-prism_to-tra-xz_ex_egl.10-2_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 160.528 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:07:04 GMT+02:00 2026
Hostname: n23m0265.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956456/tmpbdmxpfbjprism_from-prism_to-tra-xz_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956456/tmp_5da4r8nprism_from-prism_to-tra-xz_ex_egl.10-2_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956456/tmpbdmxpfbjprism_from-prism_to-tra-xz_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... 348357 676299 988843 1444433 1899288 2371701 2864403 3335023 3825435 4277636 4720924 5170140 5670180 6145456 6622909 7081563 7503601 7955930 8421632 8928248 9379645 9882795 10363349 10795671 11222145 11661512 12117101 12568788 13065291 13530100 14023130 14500281 14988899 15465063 15922161 16362334 16790003 17229637 17692684 18139665 18566643 19035156 19555889 20031341 20495141 20907605 21429495 21914083 22369203 22813084 23264512 23722804
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: File does not exist.
Log file: prism_from-prism_to-tra-xz_ex_egl.10-2_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 164.200 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:22:10 GMT+02:00 2026
Hostname: n23m0327.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957048/tmpvedx01akprism_from-prism_to-tra-xz_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957048/tmppk0ai20rprism_from-prism_to-tra-xz_ex_egl.10-2_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957048/tmpvedx01akprism_from-prism_to-tra-xz_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... 348307 670041 997272 1449453 1899572 2366142 2852430 3341562 3788159 4263608 4680444 5125646 5618464 6063066 6531595 6988143 7138531 7614207 8046075 8499847 8962100 9420299 9905724 10343160 10835437 11299913 11732281 12183021 12598742 13022104 13429461 13904443 14369141 14833470 15300697 15754080 16225538 16679142 17136926 17634641 18098261 18560538 18988851 19415237 19823022 20288864 20701757 21083623 21467418 21941320 22410568 22857039 23307393 23811347
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: File does not exist.