Log files for model egl.10-8 and tool configuration prism_from-prism_import_ex
Log file: prism_from-prism_import_ex_egl.10-8_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 165.003 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:47:02 GMT+02:00 2026
Hostname: n23m0301.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4966780/tmp3l9a0xniprism_from-prism_import_ex_egl.10-8_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966780/tmp3l9a0xniprism_from-prism_import_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... 326445 671324 984703 1416892 1876208 2305005 2799443 3255071 3746977 4182747 4692068 5143283 5591944 6039723 6521626 7001682 7462298 7838768 8296903 8722269 9146083 9573875 10031048 10499496 10982969 11443236 11911991 12374231 12821265 13251327 13657918 14093742 14516937 15010994 15459094 15921344 16395202 16827277 17296159 17724549 18183036 18630826 19082980 19584087 19635764 20129609 20520692 20894863 21359465 21760002 22165773 22584238
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_egl.10-8_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 162.976 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:12:22 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.4965030/tmphvbmtgx1prism_from-prism_import_ex_egl.10-8_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965030/tmphvbmtgx1prism_from-prism_import_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... 346512 688225 1009536 1482773 1953294 2436214 2925948 3397886 3884454 4336358 4774510 5231293 5726158 6191105 6683901 6973464 7461613 7908510 8369157 8851693 9322275 9827579 10285960 10781221 11264052 11743528 12182865 12614762 13068009 13506849 13973984 14440266 14915508 15376337 15887249 16362491 16817328 17285826 17750284 18241480 18697930 19156651 19573339 19979908 20400255 20824107 21198732 21578218 22010869 22448153 22884732 23313547 23772381
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_egl.10-8_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 143.010 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:10:57 GMT+02:00 2026
Hostname: n23m0107.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4961597/tmpodbwhv3gprism_from-prism_import_ex_egl.10-8_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4961597/tmpodbwhv3gprism_from-prism_import_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... 388452 776886 1192347 1725678 2280111 2822209 3356736 3908322 4464743 4985334 5476745 6004261 6556486 6995341 7536279 7973497 8467605 8972872 9432809 9955994 10446312 10980303 11473240 12026344 12550796 13075876 13562552 14077266 14540503 15018582 15513219 16001307 16533674 17012714 17538730 18073346 18604323 19164916 19735317 20277569 20767726 21278032 21749050 22234044 22715050 23196240
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_egl.10-8_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 157.136 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:12:52 GMT+02:00 2026
Hostname: r23m0197.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4965058/tmp51dmg3j7prism_from-prism_import_ex_egl.10-8_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965058/tmp51dmg3j7prism_from-prism_import_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... 354130 701704 1040141 1539879 2017426 2515174 3024855 3537377 4019648 4490722 4928491 5416968 5897384 6388688 6545647 7023546 7491504 7964781 8431180 8911310 9372533 9899277 10406928 10907596 11349213 11814243 12265520 12705840 13203095 13697919 14174707 14640902 15146302 15620035 16087093 16493567 16934111 17350329 17753817 18134123 18619120 19076633 19540295 19992880 20503630 20946475 21407151 21831771 22344248 22772906 23188237
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_egl.10-8_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 163.290 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:08:08 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.4964858/tmpz9ffm44qprism_from-prism_import_ex_egl.10-8_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964858/tmpz9ffm44qprism_from-prism_import_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... 338347 680048 993464 1438166 1887209 2339490 2783567 3269403 3713956 4147953 4639340 5022357 5454250 5922861 6338797 6811224 7268476 7641130 8094608 8517725 8952917 9409239 9902035 10366655 10824624 11287665 11721773 12187826 12609913 13019498 13441191 13866290 14266066 14728849 15174811 15605432 16059777 16507738 16985598 17444471 17886224 18349187 18777041 19284013 19721534 20136106 20554505 20974502 21442199 21844582 22254208 22663211 23146593
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g