Log files for model egl.10-8 and tool configuration prism_from-prism_to-tra_ex
Log file: prism_from-prism_to-tra_ex_egl.10-8_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: 160.437 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 00:04:27 GMT+02:00 2026
Hostname: r23m0202.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958550/tmpp8rw23czprism_from-prism_to-tra_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958550/tmpaj7d_q6_prism_from-prism_to-tra_ex_egl.10-8_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958550/tmpp8rw23czprism_from-prism_to-tra_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... 343761 673189 995635 1453909 1906972 2378945 2862270 3352528 3824287 4266384 4699841 5142850 5631133 6093793 6562986 7034292 7496882 7688528 8181986 8571953 9021108 9455124 9936003 10392280 10873173 11335896 11799532 12271185 12744266 13175493 13593079 14039400 14472700 14925304 15381041 15826139 16338929 16780676 17208087 17667410 18144720 18643858 19099496 19549918 19996625 20482334 20893781 21279882 21696042 22151743 22573896 22949713
##############################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-8_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: 161.827 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:28:39 GMT+02:00 2026
Hostname: n23m0358.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957324/tmpirkh9j47prism_from-prism_to-tra_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957324/tmpel29papeprism_from-prism_to-tra_ex_egl.10-8_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957324/tmpirkh9j47prism_from-prism_to-tra_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... 335072 669714 970554 1410929 1888699 2322703 2787767 3269189 3723286 4169704 4661773 5087287 5515851 6001186 6483356 6935505 7413484 7910121 7961418 8423957 8869365 9274725 9716779 10186152 10639868 11090546 11541758 12004313 12451544 12939269 13359189 13771449 14217044 14646405 15096883 15582078 16022338 16474461 16891345 17404366 17837646 18322604 18770665 19283961 19775771 20239637 20689910 21098996 21519001 21964034 22439541 22853952 23274399
##############################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-8_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: 164.536 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:00:40 GMT+02:00 2026
Hostname: n23m0260.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956177/tmpil3sxigdprism_from-prism_to-tra_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956177/tmpkz8uzkleprism_from-prism_to-tra_ex_egl.10-8_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956177/tmpil3sxigdprism_from-prism_to-tra_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... 321304 647082 971291 1395699 1847389 2325899 2774531 3252774 3722464 4191151 4663812 5087492 5480006 5934526 6410190 6852714 7288245 7741990 8208741 8402022 8857488 9259796 9674075 10124720 10592309 11066650 11528588 11985185 12449686 12936731 13380776 13804564 14207061 14607227 15008104 15458409 15887031 16352336 16802566 17271404 17709439 18158199 18597028 19093259 19539025 19974525 20427259 20838723 21240100 21645970 22094175 22518243 22921292
##############################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-8_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: 159.417 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:06:29 GMT+02:00 2026
Hostname: n23m0254.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956430/tmp8gtyggvmprism_from-prism_to-tra_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956430/tmpibgptaw3prism_from-prism_to-tra_ex_egl.10-8_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956430/tmp8gtyggvmprism_from-prism_to-tra_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... 334187 672903 982968 1410822 1871109 2314301 2778100 3239205 3720019 4183999 4637688 5049856 5470804 5936611 6378640 6842837 7282240 7756198 8206996 8633590 9061083 9520506 9998571 10462240 10938832 11396301 11856089 12323056 12765323 13175402 13591482 14022625 14422554 14909524 15330480 15757389 16214182 16665341 17161448 17606009 18063612 18504214 18945194 19428692 19776297 20172612 20625927 20968527 21355292 21783029 22128039
##############################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-8_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: 174.707 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:35:18 GMT+02:00 2026
Hostname: n23m0252.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955152/tmpt19np1j7prism_from-prism_to-tra_ex_egl.10-8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955152/tmpd9upgx_rprism_from-prism_to-tra_ex_egl.10-8_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955152/tmpt19np1j7prism_from-prism_to-tra_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... 325714 648662 971908 1402444 1858439 2305290 2790957 3245396 3737257 4201379 4651260 5105566 5521453 5972403 6422299 6896667 7341310 7783615 8222479 8647720 9070885 9496093 9958395 10396242 10884391 11358789 11833187 12307585 12781983 13256381 13730779 14166366 14578936 14990770 15398449 15785200 16273219 16667230 17089791 17561728 17975740 18409125 18844724 19342783 19759312 20158800 20651564 21017030 21427031 21904247 22347477 22691213 23114203 23503530
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: File does not exist.