Log files for model egl.10-2 and tool configuration prism_from-prism_to-tra-gz_ex
Log file: prism_from-prism_to-tra-gz_ex_egl.10-2_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 173.010 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 00:01:53 GMT+02:00 2026
Hostname: n23m0291.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958495/tmpr8r8fiz8prism_from-prism_to-tra-gz_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958495/tmp_bvr7_96prism_from-prism_to-tra-gz_ex_egl.10-2_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958495/tmpr8r8fiz8prism_from-prism_to-tra-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... 325298 651201 960065 1359730 1817037 2269365 2716108 3161132 3652191 4121366 4575733 5007239 5431063 5887437 6334378 6817196 7253253 7744661 8189303 8217705 8691253 9106645 9501330 9963038 10377429 10835143 11275848 11725181 12172681 12616907 13091248 13530692 13940216 14370735 14803525 15247044 15656440 16095594 16585143 17022737 17460345 17890363 18394643 18825650 19286670 19730513 20219516 20660041 21083389 21527599 21950638 22362049 22761689 23222061 23638886
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: File does not exist.
Log file: prism_from-prism_to-tra-gz_ex_egl.10-2_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 161.023 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:51:01 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.4958030/tmpyp3w656hprism_from-prism_to-tra-gz_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958030/tmplxsp7dghprism_from-prism_to-tra-gz_ex_egl.10-2_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958030/tmpyp3w656hprism_from-prism_to-tra-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... 345584 675042 1002886 1464926 1920916 2389876 2877358 3366994 3819583 4276652 4713710 5159774 5656433 6117837 6574724 6835987 7264395 7700523 8160936 8618304 9111530 9596260 10073182 10534571 10967012 11399705 11871217 12321401 12797460 13277847 13736737 14211368 14678152 15169671 15634550 16123724 16553091 16972080 17417423 17841297 18294343 18757751 19198296 19663908 20132737 20644373 21081693 21544290 21986599 22499134 22944954 23371833
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: File does not exist.
Log file: prism_from-prism_to-tra-gz_ex_egl.10-2_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 170.886 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:43:20 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.4957806/tmpgf5bjtz1prism_from-prism_to-tra-gz_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957806/tmpfd5j943kprism_from-prism_to-tra-gz_ex_egl.10-2_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957806/tmpgf5bjtz1prism_from-prism_to-tra-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... 337117 670051 974745 1396938 1857608 2316751 2771465 3235543 3687270 4142672 4579318 4990738 5450766 5900941 6353679 6830634 7284846 7743531 8196449 8444815 8919213 9325301 9768528 10190928 10644921 11106484 11558781 12028394 12474429 12927727 13357842 13784251 14215668 14620160 15044569 15448216 15872173 16310569 16714221 17156619 17636068 18070634 18493130 18964830 19384463 19785556 20203610 20678183 21062047 21488940 21941578 22315965 22691333 23121966 23532102
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: File does not exist.
Log file: prism_from-prism_to-tra-gz_ex_egl.10-2_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 162.166 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:47:21 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.4957921/tmpgcyjtjitprism_from-prism_to-tra-gz_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957921/tmptwz8e26cprism_from-prism_to-tra-gz_ex_egl.10-2_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957921/tmpgcyjtjitprism_from-prism_to-tra-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... 349957 683793 1009187 1468783 1926092 2395776 2883701 3370766 3857222 4308884 4746055 5199919 5695651 6165190 6651765 7084788 7559479 8032295 8513568 8960465 9393611 9854258 10321171 10810300 11266224 11746412 12228459 12706348 13194083 13623333 14060671 14470685 14890519 15366973 15871056 16343522 16804927 17258819 17756243 18244324 18710525 19172303 19650305 20161397 20621478 21052768 21500333 21933787 22354087 22763095 23229424 23637514
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: File does not exist.
Log file: prism_from-prism_to-tra-gz_ex_egl.10-2_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 167.004 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:34:00 GMT+02:00 2026
Hostname: n23m0306.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957525/tmpozm6p5qqprism_from-prism_to-tra-gz_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957525/tmpbuzg7iv_prism_from-prism_to-tra-gz_ex_egl.10-2_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957525/tmpozm6p5qqprism_from-prism_to-tra-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... 327264 656449 973250 1400720 1862639 2309293 2791088 3246537 3728497 4192982 4660356 5110311 5537847 5980452 6449575 6884340 7317420 7790189 8249239 8709509 8798670 9235061 9629539 10051466 10468379 10925540 11388765 11864325 12332796 12804699 13279117 13710081 14142346 14557518 14986221 15398031 15781319 16266717 16669204 17090621 17549785 18045973 18489452 18927903 19385499 19855847 20315674 20757938 21174335 21579917 21991536 22467103 22885609 23328744
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: File does not exist.