Log files for model egl.10-8 and tool configuration prism_from-prism_to-tra-xz_ex
Log file: prism_from-prism_to-tra-xz_ex_egl.10-8_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: 162.417 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:01:51 GMT+02:00 2026
Hostname: n23m0048.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956224/tmpfi5faghjprism_from-prism_to-tra-xz_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956224/tmpkvg3no2nprism_from-prism_to-tra-xz_ex_egl.10-8_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956224/tmpfi5faghjprism_from-prism_to-tra-xz_ex_egl.10-8_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... 349427 684001 1010240 1484801 1946130 2422141 2916697 3398722 3871835 4334675 4773787 5230353 5729612 6185016 6677835 7124992 7623071 8106289 8183494 8673142 9111664 9544810 9998583 10466105 10961994 11438360 11934134 12407977 12884134 13363176 13797992 14228468 14647251 15090909 15515954 16025919 16495867 16946541 17420865 17927891 18405375 18864069 19336401 19786414 20310560 20767726 21230415 21676500 22120251 22536956 22929124 23388201 23792827
##############################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-8_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: 167.166 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:34:07 GMT+02:00 2026
Hostname: r23m0212.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955110/tmp8jwtulkjprism_from-prism_to-tra-xz_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955110/tmpnjlfhcrmprism_from-prism_to-tra-xz_ex_egl.10-8_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955110/tmp8jwtulkjprism_from-prism_to-tra-xz_ex_egl.10-8_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... 343327 673811 986524 1422547 1882783 2358784 2824617 3309624 3799425 4225710 4653298 5111990 5602741 6044147 6517272 6985819 7290912 7773046 8195552 8634788 9088644 9557362 10046887 10519778 10975896 11433256 11921003 12350424 12772286 13202801 13615678 14064527 14549695 15008971 15467838 15931700 16399496 16857872 17309075 17798827 18271618 18711438 19151827 19563168 20007344 20425395 20812428 21226042 21664855 22060826 22510580 22982594 23434532 23865265
##############################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-8_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: 166.060 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:37:46 GMT+02:00 2026
Hostname: n23m0110.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957598/tmplouhfd8vprism_from-prism_to-tra-xz_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957598/tmp8juhuq0rprism_from-prism_to-tra-xz_ex_egl.10-8_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957598/tmplouhfd8vprism_from-prism_to-tra-xz_ex_egl.10-8_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... 343358 659413 965035 1386683 1863351 2329831 2798320 3281237 3769616 4226747 4648768 5082152 5522769 6001889 6439845 6549767 6994257 7398036 7844898 8278865 8750100 9197758 9667483 10128628 10579764 10998252 11414044 11845995 12279013 12735152 13208321 13673331 14146483 14605974 15080640 15535344 15988783 16440921 16856274 17251756 17697662 18166129 18563749 18935222 19432551 19846036 20293541 20767726 21203346 21643565 22065429 22576039 22999758 23456228
##############################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-8_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: 163.454 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 00:01:19 GMT+02:00 2026
Hostname: n23m0294.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958467/tmpoo26q1p9prism_from-prism_to-tra-xz_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958467/tmpzxpuvotzprism_from-prism_to-tra-xz_ex_egl.10-8_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958467/tmpoo26q1p9prism_from-prism_to-tra-xz_ex_egl.10-8_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... 352628 694806 1027234 1503248 1954720 2434125 2924898 3393513 3872389 4330264 4772814 5234179 5735676 6196129 6685599 7069893 7552384 7987102 8416673 8880296 9350337 9806276 10290605 10788944 11265443 11759536 12213187 12634749 13081077 13516047 13977620 14448467 14926012 15400308 15912822 16389194 16857279 17320218 17778696 18257639 18699383 19150065 19574158 19970608 20399015 20833604 21222680 21606861 22084392 22526803 22959731 23349349 23838132
##############################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-8_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: 171.426 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:00:41 GMT+02:00 2026
Hostname: n23m0280.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956181/tmpzva1jyrbprism_from-prism_to-tra-xz_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956181/tmp0v9x2xdvprism_from-prism_to-tra-xz_ex_egl.10-8_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956181/tmpzva1jyrbprism_from-prism_to-tra-xz_ex_egl.10-8_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... 327917 644010 959359 1371662 1815778 2270050 2721288 3162949 3639458 4094180 4507321 4947894 5410376 5872667 6292536 6758439 7186455 7262917 7730440 8142960 8596404 9036072 9456847 9935841 10389255 10861284 11280874 11759812 12172250 12577384 13008322 13429213 13863033 14318573 14761962 15253764 15690708 16151317 16590987 17022375 17472198 17925388 18415759 18817381 19237779 19639575 20045951 20493797 20869394 21280551 21754971 22196806 22637427 23106298 23555014 23982550
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: File does not exist.