Log files for model egl.10-8 and tool configuration prism_from-prism_to-tra-gz_ex
Log file: prism_from-prism_to-tra-gz_ex_egl.10-8_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: 155.004 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:19:20 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.4956932/tmpa9x3xj4yprism_from-prism_to-tra-gz_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956932/tmpaf7np8ciprism_from-prism_to-tra-gz_ex_egl.10-8_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956932/tmpa9x3xj4yprism_from-prism_to-tra-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... 356779 702226 1039432 1529358 1991249 2477570 2967213 3459663 3937122 4399456 4843265 5320218 5819059 6274399 6750134 7233277 7736021 8039112 8511816 8959113 9383166 9860431 10334850 10837372 11318860 11820073 12318648 12793626 13238707 13665834 14113679 14554107 14998596 15446674 15958780 16430108 16889857 17372644 17838737 18332726 18840271 19324489 19782947 20241041 20662140 21116957 21542742 21938915 22409537 22779408
##############################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-8_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: 178.865 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:40:53 GMT+02:00 2026
Hostname: n23m0047.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957705/tmpd_m0gmlyprism_from-prism_to-tra-gz_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957705/tmpjn9e7kb8prism_from-prism_to-tra-gz_ex_egl.10-8_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957705/tmpd_m0gmlyprism_from-prism_to-tra-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... 346914 680500 1007552 1466802 1917402 2402648 2853026 3339490 3826730 4258849 4708543 5148469 5599582 6068357 6538983 6984068 7405575 7660911 8142184 8567275 9008476 9409467 9869181 10325911 10747419 11215279 11683497 12155566 12613118 13066959 13479053 13897218 14325382 14750493 15206692 15638874 16107485 16554789 17023474 17482440 17941387 18398933 18866514 19378999 19817720 20229286 20630275 21059826 21480494 21883186 22349351 22736897
##############################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-8_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: 168.983 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:42:41 GMT+02:00 2026
Hostname: n23m0102.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955462/tmp7_lu6awrprism_from-prism_to-tra-gz_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955462/tmp9ls2sf36prism_from-prism_to-tra-gz_ex_egl.10-8_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955462/tmp7_lu6awrprism_from-prism_to-tra-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... 334714 661954 983568 1414886 1871657 2332180 2795658 3265591 3727078 4182148 4669729 5065087 5501021 5940121 6398629 6879672 7333189 7793252 8241554 8442743 8911874 9300801 9727178 10146772 10559573 11027746 11477605 11958454 12414942 12878783 13318777 13725303 14124975 14517579 14914526 15305349 15771644 16221752 16664567 17111411 17599214 18046171 18499892 18939772 19441913 19863123 20274568 20699811 21102932 21495881 21922104 22326015 22725400 23164512 23589231
##############################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-8_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: 204.715 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:55:38 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.4958228/tmpo0tre0mrprism_from-prism_to-tra-gz_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958228/tmpymdshipiprism_from-prism_to-tra-gz_ex_egl.10-8_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958228/tmpo0tre0mrprism_from-prism_to-tra-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... 315919 645577 954578 1368893 1851173 2304483 2758547 3231229 3715133 4146109 4612694 5033710 5460726 5886824 6333210 6822450 7213763 7678470 7915047 8364333 8781339 9191653 9626384 10101689 10566244 11028553 11491730 11972209 12429796 12868684 13270392 13663657 14067592 14460859 14877679 15281473 15680748 16157574 16575266 16974256 17385456 17849041 18273130 18679441 19110943 19573623 19949666 20350107 20767726 21168492 21570538 21985813 22398045
##############################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-8_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: 166.984 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:38:40 GMT+02:00 2026
Hostname: n23m0276.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955298/tmp42mk3cqxprism_from-prism_to-tra-gz_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955298/tmptm6gw2d0prism_from-prism_to-tra-gz_ex_egl.10-8_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955298/tmp42mk3cqxprism_from-prism_to-tra-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... 350781 685734 1018427 1483573 1942729 2427940 2882839 3372311 3833024 4266384 4694139 5128871 5607509 6044181 6503560 6967446 7407295 7723021 8177998 8583887 9027807 9479861 9960308 10427017 10914424 11356981 11842058 12305235 12729661 13177632 13600570 14052899 14526920 14990807 15449221 15891341 16336160 16790471 17266057 17708175 18184480 18628537 19058515 19514970 19919816 20354053 20750600 21198126 21598505 21997097 22521498 22981807 23468264 23926578
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: File does not exist.