Log files for model egl.10-8 and tool configuration prism_from-prism_to-umb-gz_ex
Log file: prism_from-prism_to-umb-gz_ex_egl.10-8_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: 174.791 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:08:51 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.4956521/tmpghuhcq1cprism_from-prism_to-umb-gz_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956521/tmp_66uynn0prism_from-prism_to-umb-gz_ex_egl.10-8_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956521/tmpghuhcq1cprism_from-prism_to-umb-gz_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... 336420 653325 962345 1384561 1816760 2258740 2710652 3143576 3632690 4056306 4508008 4916164 5288489 5757672 6185318 6657692 7099648 7556338 8013560 8434770 8862450 9295797 9752151 10178994 10641145 11070148 11513318 11963048 12365057 12780350 13205096 13599048 14026387 14477307 14894705 15354727 15792318 16251471 16724292 17161787 17604397 18041065 18488626 18940719 19382480 19777834 20172195 20590799 20997805 21390555 21743725 22126342 22548779 22976675 23404199 23805649
##############################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-8_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: 182.596 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:54:26 GMT+02:00 2026
Hostname: r23m0206.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958175/tmp3exlwlcwprism_from-prism_to-umb-gz_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958175/tmpe2y67kadprism_from-prism_to-umb-gz_ex_egl.10-8_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958175/tmp3exlwlcwprism_from-prism_to-umb-gz_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... 296347 587377 885057 1210673 1629707 2019160 2430686 2823311 3242430 3664366 4038203 4418290 4799174 5185908 5610949 5982301 6382192 6602632 6995484 7360674 7731243 8119448 8502899 8913934 9297036 9701992 10116308 10510720 10533413 10946735 11311887 11693870 12088296 12454464 12840535 13237103 13658146 14053078 14428494 14826546 15227674 15669375 16161761 16649706 17014323 17429881 17826483 18256907 18691352 19120903 19531365 19991321 20505512 20938110 21401591 21825943 22334633 22780686 23206181
##############################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-8_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: 166.881 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:37:33 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.4955250/tmp1ryz64acprism_from-prism_to-umb-gz_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955250/tmpuv6tumzfprism_from-prism_to-umb-gz_ex_egl.10-8_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955250/tmp1ryz64acprism_from-prism_to-umb-gz_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... 346892 677764 1000316 1449020 1920115 2394499 2879148 3368384 3830802 4276834 4720156 5178776 5649014 6121266 6591037 7062379 7157267 7635411 8057050 8489646 8960059 9422397 9929449 10387869 10887007 11351948 11807232 12241784 12656773 13094719 13520822 13962676 14429072 14932675 15402461 15868012 16340536 16795403 17249493 17718410 18229514 18642734 19063269 19484811 19918517 20383086 20767726 21149201 21631811 22047205 22467758 22912828 23360276 23749903 24199941
##############################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-8_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: 155.683 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:55:00 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.4958194/tmpl6k_jzanprism_from-prism_to-umb-gz_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958194/tmp38qf0__fprism_from-prism_to-umb-gz_ex_egl.10-8_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958194/tmpl6k_jzanprism_from-prism_to-umb-gz_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... 363345 725751 1069710 1610512 2091500 2650468 3145716 3689663 4208723 4713281 5187994 5668657 6181223 6724939 7159127 7687616 8145885 8604994 9061175 9507998 9953549 10417949 10910082 11413182 11938656 12418229 12901976 13389308 13826941 14295975 14776790 15293757 15758878 16235885 16728080 17275838 17767717 18283375 18769701 19263925 19713424 20160629 20626394 21082417 21513358 21936398 22388909 22864966 23370215 23863374
##############################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-8_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: 164.907 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:36:33 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.4957551/tmp9g7wui50prism_from-prism_to-umb-gz_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957551/tmpn_i7u9uhprism_from-prism_to-umb-gz_ex_egl.10-8_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957551/tmp9g7wui50prism_from-prism_to-umb-gz_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... 352166 711663 1038505 1529408 2000658 2505985 2978168 3489995 3981448 4410671 4851532 5327778 5830584 6299798 6581687 7049970 7497316 7952733 8416547 8902631 9355357 9858748 10333190 10807081 11235133 11681946 12131886 12545441 13029135 13504355 13987542 14471639 14959787 15447936 15936085 16424233 16789994 17205816 17580246 17958982 18387012 18714575 19158011 19545307 19986138 20451433 20927492 21394660 21817768 22239000 22739885 23176176 23608674 24047821
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: File does not exist.