Log files for model egl.10-2 and tool configuration prism_from-prism_to-tra_ex
Log file: prism_from-prism_to-tra_ex_egl.10-2_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 158.157 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:25:03 GMT+02:00 2026
Hostname: n23m0048.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957166/tmpinoa7swmprism_from-prism_to-tra_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957166/tmpyj7ciqwcprism_from-prism_to-tra_ex_egl.10-2_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957166/tmpinoa7swmprism_from-prism_to-tra_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... 352091 704060 1021759 1491264 1951507 2451024 2917752 3415073 3868390 4325640 4826694 5237270 5663634 6140034 6586840 7020565 7511297 7986987 8027846 8474979 8898413 9325793 9814253 10290127 10783528 11241441 11728150 12217009 12694741 13150075 13562010 13994337 14431534 14864255 15331131 15838006 16285429 16721757 17168445 17661910 18107477 18569132 19032529 19503935 20006358 20533594 20930456 21374173 21795133 22272749 22716547 23139351
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: File does not exist.
Log file: prism_from-prism_to-tra_ex_egl.10-2_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 169.363 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:37:08 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.4957570/tmpm5_yeaeuprism_from-prism_to-tra_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957570/tmp22znayj9prism_from-prism_to-tra_ex_egl.10-2_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957570/tmpm5_yeaeuprism_from-prism_to-tra_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... 339478 680729 997863 1452764 1925062 2414616 2870457 3365052 3855024 4284061 4765955 5180352 5640007 6111423 6589003 7051379 7516770 7576844 8032594 8466875 8924216 9337240 9806752 10270003 10744918 11212292 11685313 12156783 12539614 12971399 13382518 13819658 14256929 14677952 15157845 15604352 16112897 16600483 16999530 17442661 17869280 18334489 18823278 19235755 19643665 20053843 20519783 20892709 21285014 21667314 22056963 22495337 22956784 23420843 23830836
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: File does not exist.
Log file: prism_from-prism_to-tra_ex_egl.10-2_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 162.817 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:53:18 GMT+02:00 2026
Hostname: n23m0272.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958132/tmp9vuyftadprism_from-prism_to-tra_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958132/tmpjcu881ibprism_from-prism_to-tra_ex_egl.10-2_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958132/tmp9vuyftadprism_from-prism_to-tra_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... 325497 664257 968952 1412923 1862090 2312667 2781336 3268525 3766724 4210909 4677631 5133532 5573318 6026671 6505890 6937705 7383722 7881270 8320544 8762760 9184204 9615293 10095387 10526344 10978122 11424962 11906689 12371687 12823005 13266944 13679544 14109384 14510209 14903401 15379235 15823026 16287920 16728055 17191373 17682623 18144217 18600742 19066311 19521441 20010592 20470031 20857944 21252641 21692723 22088645 22505904 22951042 23362852
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: File does not exist.
Log file: prism_from-prism_to-tra_ex_egl.10-2_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 171.926 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:47:50 GMT+02:00 2026
Hostname: n23m0279.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955669/tmpmqxhvy9_prism_from-prism_to-tra_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955669/tmpcdqvrlhgprism_from-prism_to-tra_ex_egl.10-2_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955669/tmpmqxhvy9_prism_from-prism_to-tra_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... 327111 653408 970825 1398458 1846024 2287028 2764239 3193343 3677518 4113049 4563637 4994751 5379155 5816504 6268689 6734933 7119460 7591550 7775974 8204609 8614327 9020494 9452810 9933722 10390341 10869868 11318615 11774597 12241628 12637742 13048861 13455122 13857201 14262414 14720384 15143334 15576631 16028113 16504630 16928928 17368813 17799603 18260020 18742770 19199253 19611463 20001346 20446061 20818244 21223881 21665442 22064918 22478762 22940766 23439319 23887778
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: File does not exist.
Log file: prism_from-prism_to-tra_ex_egl.10-2_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 183.521 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:31:41 GMT+02:00 2026
Hostname: r23m0210.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957446/tmp0e_qtspqprism_from-prism_to-tra_ex_egl.10-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957446/tmpeanfsw_rprism_from-prism_to-tra_ex_egl.10-2_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957446/tmp0e_qtspqprism_from-prism_to-tra_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... 332357 663370 973910 1412113 1882902 2323208 2764290 3229606 3706534 4107244 4566151 4955886 5404952 5871766 6280132 6758333 6960033 7406688 7797197 8218161 8676437 9136195 9606519 10080603 10494833 10972557 11386296 11824629 12225060 12637756 13078796 13489212 13957990 14427880 14872480 15315513 15733347 16204434 16642269 17120407 17568156 18000971 18402538 18774241 19227714 19618371 19997843 20420803 20835745 21197510 21644612 22127617 22577432 23001539 23479234 23963317
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: File does not exist.