Log files for model egl.10-8 and tool configuration prism_from-prism_check_ex
Log file: prism_from-prism_check_ex_egl.10-8_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 164.163 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:05:00 GMT+02:00 2026
Hostname: n23m0287.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964706/tmp_dk73dmpprism_from-prism_check_ex_egl.10-8_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4964706/tmp_dk73dmpprism_from-prism_check_ex_egl.10-8_tmp_indir_/property.props
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964706/tmp_dk73dmpprism_from-prism_check_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"
Parsing properties file "/w0/tmp/slurm_tq429871.4964706/tmp_dk73dmpprism_from-prism_check_ex_egl.10-8_tmp_indir_/property.props"...
1 property:
(1) "unfairA": P=? [ F !"knowA"&"knowB" ]
---------------------------------------------------------------------
Model checking: "unfairA": P=? [ F !"knowA"&"knowB" ]
Building model (engine:explicit)...
Computing reachable states... 319132 642033 952583 1370011 1815533 2280611 2730731 3203365 3696006 4134795 4628570 5059920 5466091 5933277 6364228 6818322 7268733 7742752 7800602 8242923 8633272 9055686 9491923 9954486 10417574 10896795 11340513 11804515 12262697 12713833 13137171 13548068 13969879 14396824 14832479 15256354 15671825 16170798 16599911 17023055 17454828 17908678 18395870 18806017 19241885 19654934 20138250 20527346 20895454 21355781 21744629 22150314 22569123 23007317
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_check_ex_egl.10-8_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 164.185 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:14:58 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.4965142/tmp8ptm1tjoprism_from-prism_check_ex_egl.10-8_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4965142/tmp8ptm1tjoprism_from-prism_check_ex_egl.10-8_tmp_indir_/property.props
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965142/tmp8ptm1tjoprism_from-prism_check_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"
Parsing properties file "/w0/tmp/slurm_tq429871.4965142/tmp8ptm1tjoprism_from-prism_check_ex_egl.10-8_tmp_indir_/property.props"...
1 property:
(1) "unfairA": P=? [ F !"knowA"&"knowB" ]
---------------------------------------------------------------------
Model checking: "unfairA": P=? [ F !"knowA"&"knowB" ]
Building model (engine:explicit)...
Computing reachable states... 341990 685654 1009118 1470396 1919931 2401301 2900309 3355789 3837017 4307033 4804067 5222357 5644977 6110320 6597954 7049739 7539131 7790081 8260599 8692224 9138971 9608971 10105342 10573677 11021487 11478341 11990080 12446614 12850158 13281930 13701411 14137469 14572458 15026282 15482710 15948392 16453755 16889410 17352399 17815377 18295893 18747813 19271312 19683300 20108942 20541608 20981371 21402253 21805990 22233607 22745394 23199559 23678195
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_check_ex_egl.10-8_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 148.992 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:20:12 GMT+02:00 2026
Hostname: n23m0024.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4965391/tmpnqn8w_ctprism_from-prism_check_ex_egl.10-8_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4965391/tmpnqn8w_ctprism_from-prism_check_ex_egl.10-8_tmp_indir_/property.props
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965391/tmpnqn8w_ctprism_from-prism_check_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"
Parsing properties file "/w0/tmp/slurm_tq429871.4965391/tmpnqn8w_ctprism_from-prism_check_ex_egl.10-8_tmp_indir_/property.props"...
1 property:
(1) "unfairA": P=? [ F !"knowA"&"knowB" ]
---------------------------------------------------------------------
Model checking: "unfairA": P=? [ F !"knowA"&"knowB" ]
Building model (engine:explicit)...
Computing reachable states... 354655 718072 1042864 1542550 2053244 2578108 3107394 3623557 4128256 4618351 5085443 5535293 6072699 6610602 7101243 7610655 7973814 8473829 8938322 9389684 9878460 10366476 10903874 11408463 11882550 12378727 12878965 13372381 13827614 14294265 14757059 15190073 15705864 16218264 16711553 17171768 17661162 18175822 18738947 19265789 19771781 20303708 20767726 21247313 21754973 22285046 22775945 23258522
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_check_ex_egl.10-8_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 141.482 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:55:37 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.4967131/tmp4l35zln2prism_from-prism_check_ex_egl.10-8_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4967131/tmp4l35zln2prism_from-prism_check_ex_egl.10-8_tmp_indir_/property.props
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4967131/tmp4l35zln2prism_from-prism_check_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"
Parsing properties file "/w0/tmp/slurm_tq429871.4967131/tmp4l35zln2prism_from-prism_check_ex_egl.10-8_tmp_indir_/property.props"...
1 property:
(1) "unfairA": P=? [ F !"knowA"&"knowB" ]
---------------------------------------------------------------------
Model checking: "unfairA": P=? [ F !"knowA"&"knowB" ]
Building model (engine:explicit)...
Computing reachable states... 394701 777943 1171455 1722339 2245760 2811405 3345568 3895075 4413995 4956662 5456336 5959819 6454200 6970041 7519872 7665671 8157225 8651356 9137330 9632648 10159255 10719748 11237731 11787015 12280872 12758938 13235458 13738581 14242117 14734731 15260590 15795365 16351231 16884792 17387466 17905129 18447431 18972321 19508282 20017464 20534817 21041623 21544868 22025953 22527925 22993079
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_check_ex_egl.10-8_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 150.670 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 08:56:35 GMT+02:00 2026
Hostname: n23m0125.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964246/tmp38r_b43qprism_from-prism_check_ex_egl.10-8_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4964246/tmp38r_b43qprism_from-prism_check_ex_egl.10-8_tmp_indir_/property.props
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964246/tmp38r_b43qprism_from-prism_check_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"
Parsing properties file "/w0/tmp/slurm_tq429871.4964246/tmp38r_b43qprism_from-prism_check_ex_egl.10-8_tmp_indir_/property.props"...
1 property:
(1) "unfairA": P=? [ F !"knowA"&"knowB" ]
---------------------------------------------------------------------
Model checking: "unfairA": P=? [ F !"knowA"&"knowB" ]
Building model (engine:explicit)...
Computing reachable states... 382052 749628 1140406 1664792 2176586 2699288 3247863 3763201 4289105 4817628 5310300 5798751 6277994 6818560 7331451 7898775 8325671 8870933 8977415 9432735 9863829 10340229 10830322 11331568 11820107 12353691 12887606 13356010 13815246 14278858 14725331 15153060 15586440 16036893 16461812 16955420 17480150 18007655 18548142 19075485 19561843 20088084 20559452 21010283 21509468 21969713 22503298 22966664 23438035
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g