Log files for model egl.10-2 and tool configuration prism_from-prism_to-umb-xz_ex
Log file: prism_from-prism_to-umb-xz_ex_egl.10-2_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 153.007 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:16:29 GMT+02:00 2026
Hostname: n23m0255.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956790/tmpmhs24uqsprism_from-prism_to-umb-xz_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956790/tmpp30sdcsjprism_from-prism_to-umb-xz_ex_egl.10-2_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956790/tmpmhs24uqsprism_from-prism_to-umb-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... 352374 682997 1012551 1488377 1947441 2428701 2921874 3423462 3893147 4364435 4835945 5258944 5734966 6196004 6703476 7175122 7521522 8003574 8427647 8876750 9315232 9812904 10300166 10789910 11244273 11727942 12221267 12669056 13107598 13535313 13974563 14436842 14949566 15412697 15883120 16361494 16822199 17314319 17771663 18257000 18716552 19196961 19660765 20116851 20538678 20923553 21367178 21809766 22231399
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: File does not exist.
Log file: prism_from-prism_to-umb-xz_ex_egl.10-2_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 168.768 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:08:20 GMT+02:00 2026
Hostname: n23m0357.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956512/tmpeopwzmw0prism_from-prism_to-umb-xz_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956512/tmpuq7fcup6prism_from-prism_to-umb-xz_ex_egl.10-2_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956512/tmpeopwzmw0prism_from-prism_to-umb-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... 324421 653050 973907 1399622 1842867 2309014 2790876 3233408 3732101 4209338 4674766 5114105 5533015 6002386 6467080 6926865 7399124 7879713 7938687 8396177 8847874 9254808 9695054 10156413 10634547 11107422 11541076 12022064 12456172 12915481 13320086 13745114 14176963 14541881 14997889 15419397 15863955 16317740 16811009 17239899 17669717 18121698 18580322 19080533 19534830 19735378 20238981 20622962 21010839 21481713 21927214 22359806 22769618
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: File does not exist.
Log file: prism_from-prism_to-umb-xz_ex_egl.10-2_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 171.059 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 00:00:10 GMT+02:00 2026
Hostname: r23m0202.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958402/tmpdt6egqwkprism_from-prism_to-umb-xz_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958402/tmpft97nvvvprism_from-prism_to-umb-xz_ex_egl.10-2_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958402/tmpdt6egqwkprism_from-prism_to-umb-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... 348016 694923 1020033 1492488 1956543 2421084 2897935 3382676 3823838 4279326 4740430 5155848 5634050 6092887 6568084 6973377 7440900 7877472 8306614 8774261 9230101 9683738 10136466 10598247 11073638 11311712 11786036 12238456 12665366 13106893 13533645 13987094 14445153 14900609 15353143 15843787 16305605 16753063 17214761 17658973 18107751 18529547 18978029 19392466 19761550 20197782 20554910 20840228 21311969 21700518 22130068 22597514 22981219 23394055 23827956
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: File does not exist.
Log file: prism_from-prism_to-umb-xz_ex_egl.10-2_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 149.071 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:57:08 GMT+02:00 2026
Hostname: r23m0215.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956034/tmpac2n02osprism_from-prism_to-umb-xz_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956034/tmpxlqno1orprism_from-prism_to-umb-xz_ex_egl.10-2_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956034/tmpac2n02osprism_from-prism_to-umb-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... 376853 749751 1105498 1632552 2145162 2663790 3185056 3713984 4240603 4745030 5197948 5706473 6194184 6740949 7258519 7583439 8098954 8558276 9047155 9500817 9999034 10449224 10964234 11429829 11966804 12480641 12979617 13398902 13846868 14305052 14714893 15236797 15717321 16216371 16693561 17161856 17656942 18168671 18709799 19209344 19689449 20184176 20656726 21068033 21568852 21990579 22445461 22897769
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: File does not exist.
Log file: prism_from-prism_to-umb-xz_ex_egl.10-2_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 148.175 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:51:01 GMT+02:00 2026
Hostname: n23m0134.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958024/tmpgqtvy3_gprism_from-prism_to-umb-xz_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958024/tmpyno0dec9prism_from-prism_to-umb-xz_ex_egl.10-2_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958024/tmpgqtvy3_gprism_from-prism_to-umb-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... 360146 745582 1115444 1651521 2177781 2731380 3253769 3787897 4315318 4882083 5371934 5857217 6381697 6872374 7361971 7515821 8033501 8524780 9028347 9512680 10071990 10612841 11114297 11664220 12211658 12636758 13116416 13580128 14067431 14602385 15159287 15714659 16271561 16828463 17385365 17931147 18471234 18979277 19446430 19894347 20374793 20807292 21288314 21787076 22262974 22759667 23300523 23834258
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: File does not exist.