Log files for model egl.10-8 and tool configuration prism_from-prism_to-umb-xz_ex
Log file: prism_from-prism_to-umb-xz_ex_egl.10-8_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: 157.776 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:47:21 GMT+02:00 2026
Hostname: r23m0216.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957914/tmpm7wx4519prism_from-prism_to-umb-xz_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957914/tmp1lyjdgu3prism_from-prism_to-umb-xz_ex_egl.10-8_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957914/tmpm7wx4519prism_from-prism_to-umb-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... 359267 705793 1040477 1531540 1998239 2501879 2967292 3481115 3952479 4430394 4892150 5329138 5815650 6241665 6749269 7226885 7703654 8189313 8687516 9018031 9479358 9923408 10344920 10810602 11288534 11762040 12260015 12754371 13251497 13737965 14186615 14620029 15069958 15500149 15934867 16401604 16901028 17388032 17861953 18352447 18849223 19380923 19842442 20325945 20767726 21295922 21756763 22191141 22616205 23070999 23521729
##############################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-8_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: 165.137 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:22:10 GMT+02:00 2026
Hostname: r23m0217.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957037/tmpng67rz5uprism_from-prism_to-umb-xz_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957037/tmpt3jgr6tpprism_from-prism_to-umb-xz_ex_egl.10-8_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957037/tmpng67rz5uprism_from-prism_to-umb-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... 339068 671748 998287 1456435 1930469 2397592 2883854 3357802 3823249 4287748 4740782 5201408 5680814 6151094 6631885 7083678 7200263 7685624 8128433 8589080 9049728 9527939 10012873 10488817 10959032 11439818 11905128 12323564 12737835 13162206 13629119 14098495 14558866 15046090 15510666 15983849 16447878 16900501 17373054 17852399 18319015 18746518 19183109 19611410 20045630 20501310 20886596 21352961 21839070 22299185 22738296 23175527 23678338 24106667
##############################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-8_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: 158.902 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:52:10 GMT+02:00 2026
Hostname: n23m0287.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958081/tmp17efa2qjprism_from-prism_to-umb-xz_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958081/tmpgpfztzfvprism_from-prism_to-umb-xz_ex_egl.10-8_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958081/tmp17efa2qjprism_from-prism_to-umb-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... 359695 717738 1045236 1545839 2018200 2520387 2985858 3491320 3975098 4414837 4893881 5329063 5813613 6284428 6774361 7211183 7717466 8200220 8559877 9036286 9446112 9913120 10360026 10850152 11329373 11830090 12320685 12817532 13303092 13762692 14197930 14631840 15088517 15559248 16020223 16482209 16948470 17462244 17979126 18455565 18909502 19386718 19886109 20370617 20788966 21251404 21676566 22099396 22585264 22993077 23443637
##############################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-8_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: 154.808 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:23:55 GMT+02:00 2026
Hostname: n23m0307.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957118/tmp6zdmxozvprism_from-prism_to-umb-xz_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957118/tmpkh5td0waprism_from-prism_to-umb-xz_ex_egl.10-8_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957118/tmp6zdmxozvprism_from-prism_to-umb-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... 356313 703681 1041213 1528177 1992206 2473370 2942419 3411658 3909896 4378958 4863387 5297290 5780611 6256661 6763711 7208891 7451280 7932553 8372575 8826047 9274866 9757844 10236933 10729541 11200126 11700407 12202752 12652452 13099342 13532485 13975112 14442323 14956266 15424831 15902888 16380197 16846811 17329963 17841740 18320824 18782525 19266103 19729723 20217603 20681563 21089755 21523269 21950187 22417393 22811755
##############################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-8_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: 166.290 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:53:02 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.4955879/tmpjakjr6vfprism_from-prism_to-umb-xz_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955879/tmp34b2zjezprism_from-prism_to-umb-xz_ex_egl.10-8_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955879/tmpjakjr6vfprism_from-prism_to-umb-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... 342431 673159 1008828 1468735 1924501 2393986 2875641 3348374 3843862 4298600 4734528 5186880 5665933 6100558 6437450 6904903 7301341 7748965 8189403 8647884 9125705 9595517 10077493 10558131 10693281 11153386 11562352 12007333 12445010 12905382 13373406 13845151 14323311 14789834 15288253 15789410 16278500 16742623 17155094 17567281 17985974 18439295 18851575 19286700 19715172 20229120 20700085 21161058 21632489 22144341 22612870 23040928 23514580
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: File does not exist.