Log files for model egl.10-2 and tool configuration prism_from-prism_to-umb-gz_ex
Log file: prism_from-prism_to-umb-gz_ex_egl.10-2_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 166.990 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:38:07 GMT+02:00 2026
Hostname: n23m0056.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955281/tmp3c9h32pkprism_from-prism_to-umb-gz_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955281/tmpdnlvi2cpprism_from-prism_to-umb-gz_ex_egl.10-2_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955281/tmp3c9h32pkprism_from-prism_to-umb-gz_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... 334416 666063 982164 1433220 1887976 2341545 2822696 3254760 3732030 4154754 4632540 5067317 5477851 5916884 6394145 6839864 7285324 7410456 7856004 8266210 8700244 9135445 9569171 10059889 10505392 10998674 11471362 11930067 12348000 12770856 13195300 13622916 14045563 14453180 14907758 15355931 15816838 16314708 16744366 17178640 17626553 18054200 18504813 18921899 19336302 19730085 20120192 20561176 20942401 21339231 21821596 22279728 22746021 23202135 23711655
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: File does not exist.
Log file: prism_from-prism_to-umb-gz_ex_egl.10-2_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 175.462 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:43:52 GMT+02:00 2026
Hostname: n23m0069.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955515/tmpxwno3mb3prism_from-prism_to-umb-gz_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955515/tmp8czobichprism_from-prism_to-umb-gz_ex_egl.10-2_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955515/tmpxwno3mb3prism_from-prism_to-umb-gz_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... 346847 682588 1014525 1480004 1946303 2410438 2898317 3388587 3853231 4309427 4739145 5189442 5689786 6162234 6624520 6953641 7428714 7869751 8317627 8772317 9245647 9716752 10187292 10672282 11152526 11618181 12062347 12483133 12911619 13349149 13796043 14264770 14731438 15211029 15707434 16129570 16584357 17009300 17473269 17850783 18360946 18777195 19198976 19608044 20012995 20455979 20856381 21262634 21756359 22213767 22655536 23075512 23594135 24027980
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: File does not exist.
Log file: prism_from-prism_to-umb-gz_ex_egl.10-2_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 144.890 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:17:03 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.4956832/tmpgvcxbti7prism_from-prism_to-umb-gz_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956832/tmph9pm1rwbprism_from-prism_to-umb-gz_ex_egl.10-2_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956832/tmpgvcxbti7prism_from-prism_to-umb-gz_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... 387669 750593 1126063 1651201 2166784 2707180 3264315 3810894 4350634 4912754 5389216 5855878 6390837 6923863 7442124 7936354 8476593 8985985 9391672 9927182 10399399 10884724 11384463 11940572 12464946 13004790 13525421 14062908 14563634 15103541 15574559 16059062 16558084 17045833 17529001 18023152 18567006 19066116 19636954 20149691 20694318 21194789 21706048 22221983 22739093 23306909 23843943
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: File does not exist.
Log file: prism_from-prism_to-umb-gz_ex_egl.10-2_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 159.432 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:57:08 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.4956046/tmpd4c9sk5hprism_from-prism_to-umb-gz_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956046/tmpubo_2uh2prism_from-prism_to-umb-gz_ex_egl.10-2_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956046/tmpd4c9sk5hprism_from-prism_to-umb-gz_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... 335435 669840 993130 1437428 1900029 2367723 2844937 3304976 3775146 4221287 4653448 5102246 5587902 6042948 6512708 6960053 7439011 7547894 8023363 8450432 8891522 9303341 9776067 10243053 10704417 11171794 11637039 12116006 12578099 13014880 13436656 13862961 14306394 14743901 15210131 15699721 16182370 16629718 17093861 17556736 18016888 18524019 18974112 19420868 19870289 20332100 20767726 21186881 21603645 22004400 22467228 22847128
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: File does not exist.
Log file: prism_from-prism_to-umb-gz_ex_egl.10-2_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 172.987 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:46:13 GMT+02:00 2026
Hostname: n23m0097.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957863/tmpqxajdaiiprism_from-prism_to-umb-gz_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957863/tmpmp33qxzaprism_from-prism_to-umb-gz_ex_egl.10-2_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957863/tmpqxajdaiiprism_from-prism_to-umb-gz_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... 349347 691897 1015524 1480903 1956458 2411972 2883419 3335894 3815134 4266384 4715053 5128116 5596806 6033154 6506724 6961465 7348109 7828471 8243053 8683374 9131032 9593677 10077149 10516861 10995905 11436986 11886785 12304035 12726491 13157743 13544662 14030956 14462080 14911878 15369606 15804909 16258712 16728481 17141464 17579185 18017522 18445763 18867456 19262844 19649114 20020528 20469746 20793216 21178243 21583663 21942177 22402524 22871164 23225966 23626333 24079664
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: File does not exist.