Log files for model egl.10-8 and tool configuration prism_from-prism_to-umb_ex
Log file: prism_from-prism_to-umb_ex_egl.10-8_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 156.759 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:43:54 GMT+02:00 2026
Hostname: n23m0060.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957825/tmpor4old9mprism_from-prism_to-umb_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957825/tmp0f403utwprism_from-prism_to-umb_ex_egl.10-8_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957825/tmpor4old9mprism_from-prism_to-umb_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... 346220 685805 997269 1464331 1933556 2409288 2899427 3345695 3840761 4283380 4723747 5175236 5673837 6146667 6608647 7086551 7578119 7875054 8344713 8782598 9230101 9648890 10127148 10612662 11096678 11573299 12048381 12516002 12989953 13414264 13849289 14301739 14771005 15237988 15692675 16179974 16646202 17141832 17647106 18122646 18584704 19044816 19517748 20024624 20447830 20830837 21248487 21700719 22110279 22522084 22955100
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: File does not exist.
Log file: prism_from-prism_to-umb_ex_egl.10-8_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 166.817 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:36:57 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.4955235/tmpag647tu_prism_from-prism_to-umb_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955235/tmpe7zmwx_hprism_from-prism_to-umb_ex_egl.10-8_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955235/tmpag647tu_prism_from-prism_to-umb_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... 343801 670220 994405 1454783 1904630 2359015 2840810 3314035 3764671 4204230 4621395 5069111 5538698 6004956 6441457 6753903 7184773 7593261 8032338 8492855 8946365 9401369 9875774 10334965 10790828 11190028 11599467 12059103 12478156 12938798 13394570 13853641 14315302 14762999 15231863 15681966 16160925 16587688 16962460 17378150 17807009 18231278 18644845 19076267 19569671 20018837 20468274 20888129 21385284 21810672 22245740 22698913 23192132 23611662
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: File does not exist.
Log file: prism_from-prism_to-umb_ex_egl.10-8_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 166.525 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:29:34 GMT+02:00 2026
Hostname: n23m0259.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4954928/tmpraoe_kj0prism_from-prism_to-umb_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954928/tmpm2rnvq1nprism_from-prism_to-umb_ex_egl.10-8_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954928/tmpraoe_kj0prism_from-prism_to-umb_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... 349533 681975 1016571 1477117 1939867 2400080 2880044 3362371 3812190 4268736 4698644 5156700 5628597 6103968 6575473 7037037 7094427 7573911 8015118 8451627 8913019 9388956 9890131 10342255 10836488 11306177 11749980 12187337 12606435 13046267 13481217 13967247 14464207 14939064 15409031 15876456 16341421 16785628 17237640 17677019 18099437 18547797 19017156 19449850 19848677 20252462 20641433 21051451 21486135 21940159 22375857 22794711 23263833 23677973
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: File does not exist.
Log file: prism_from-prism_to-umb_ex_egl.10-8_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 163.012 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:52:27 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.4955846/tmpqt5a7gtjprism_from-prism_to-umb_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955846/tmpukhcoj56prism_from-prism_to-umb_ex_egl.10-8_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955846/tmpqt5a7gtjprism_from-prism_to-umb_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... 343436 676005 987367 1444612 1907134 2374523 2864153 3309223 3802526 4253656 4691402 5128030 5601478 6074815 6479274 6945945 7370866 7826428 8275295 8766922 9213349 9689428 10164719 10647711 11088077 11498830 11934949 12359679 12809035 13297297 13790962 14285986 14781010 15272758 15728282 16202217 16658270 17057805 17478526 17895651 18334466 18778195 19207962 19600071 20098868 20565309 20994220 21454929 21936488 22394580 22829428 23271350 23761850
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: File does not exist.
Log file: prism_from-prism_to-umb_ex_egl.10-8_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 163.931 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:27:27 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.4957276/tmpxbaitlm9prism_from-prism_to-umb_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957276/tmpzb7b5gw4prism_from-prism_to-umb_ex_egl.10-8_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957276/tmpxbaitlm9prism_from-prism_to-umb_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... 347749 681865 1007109 1465143 1923668 2413375 2904660 3354266 3849669 4328154 4791209 5206600 5671120 6136349 6607240 7070431 7444463 7924396 8337902 8779231 9219701 9692875 10172385 10642816 11094442 11560672 12051061 12470717 12908432 13344280 13780992 14220612 14649076 15165147 15624140 16080781 16520954 16935095 17405291 17903653 18372549 18820652 19269593 19673999 20135990 20547158 20933885 21365483 21805568 22218387 22678066 23167837 23625976
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: File does not exist.