Test CO-MIXED-1 Allow
Histogram (3 states)
1281769220:> 1:X1=0x0; 1:X2=0x0;
3058401 :> 1:X1=0x0; 1:X2=0x1;
1115172379:> 1:X1=0x1; 1:X2=0x1;
No
Witnesses
Positive: 0 Negative: 2400000000
Condition exists (1:X1=0x1 /\ 1:X2=0x0) is not validated
Hash=5e1b07d82fa056e93fe830dea727fdd3
Time CO-MIXED-1 304.15

Test CO-MIXED-1b Allow
Histogram (3 states)
1168817079:> 1:X1=0x0; x=0x200000001;
4034    :> 1:X1=0x1; x=0x200000001;
1231178887:> 1:X1=0x200000001; x=0x200000001;
No
Witnesses
Positive: 0 Negative: 2400000000
Condition exists (x=0x200000001 /\ 1:X1=0x200000000) is not validated
Hash=a45f46e49ca38dc1dcd4727c5f94d4f9
Time CO-MIXED-1b 360.93

Test CO-MIXED-20cc Allow
Histogram (4 states)
615626072:> 0:X2=0x11111111; x=0x2222222211111111;
308357970:> 0:X2=0x11111111; x=0x2222222222222222;
1476014444:> 0:X2=0x2222222211111111; x=0x2222222211111111;
1514    :> 0:X2=0x2222222222222222; x=0x2222222222222222;
No
Witnesses
Positive: 0 Negative: 2400000000
Condition exists (x=0x2222222222222222 /\ 0:X2=0x2222222211111111) is not validated
Hash=1577e0e9a162146c527f70522de0c1ea
Time CO-MIXED-20cc 367.64

Test CO-MIXED-2b Allow
Histogram (12 states)
136603578:> 2:X1=0x0; 2:X2=0x0; x=0x100000001;
136642482:> 2:X1=0x0; 2:X2=0x0; x=0x100000002;
43569   :> 2:X1=0x0; 2:X2=0x100000001; x=0x100000001;
713931  :> 2:X1=0x0; 2:X2=0x100000001; x=0x100000002;
44234   :> 2:X1=0x0; 2:X2=0x100000002; x=0x100000002;
713724  :> 2:X1=0x0; 2:X2=0x2; x=0x100000001;
361891659:> 2:X1=0x100000001; 2:X2=0x100000001; x=0x100000001;
100708959:> 2:X1=0x100000001; 2:X2=0x100000001; x=0x100000002;
152995  :> 2:X1=0x100000001; 2:X2=0x100000002; x=0x100000002;
361541949:> 2:X1=0x100000002; 2:X2=0x100000002; x=0x100000002;
154162  :> 2:X1=0x2; 2:X2=0x100000001; x=0x100000001;
100788758:> 2:X1=0x2; 2:X2=0x2; x=0x100000001;
No
Witnesses
Positive: 0 Negative: 1200000000
Condition exists (x=0x100000002 /\ 2:X1=0x2 /\ 2:X2=0x100000002) is not validated
Hash=b8058f6206d883fd21b769f2ac9bdb3b
Time CO-MIXED-2b 431.96

Test CO-MIXED-2b-dmbsy Allow
Histogram (12 states)
138761665:> 2:X1=0x0; 2:X2=0x0; x=0x100000001;
139014373:> 2:X1=0x0; 2:X2=0x0; x=0x100000002;
7358583 :> 2:X1=0x0; 2:X2=0x100000001; x=0x100000001;
3061501 :> 2:X1=0x0; 2:X2=0x100000001; x=0x100000002;
7106181 :> 2:X1=0x0; 2:X2=0x100000002; x=0x100000002;
3056413 :> 2:X1=0x0; 2:X2=0x2; x=0x100000001;
363710204:> 2:X1=0x100000001; 2:X2=0x100000001; x=0x100000001;
66270864:> 2:X1=0x100000001; 2:X2=0x100000001; x=0x100000002;
20206906:> 2:X1=0x100000001; 2:X2=0x100000002; x=0x100000002;
364891088:> 2:X1=0x100000002; 2:X2=0x100000002; x=0x100000002;
20083059:> 2:X1=0x2; 2:X2=0x100000001; x=0x100000001;
66479163:> 2:X1=0x2; 2:X2=0x2; x=0x100000001;
No
Witnesses
Positive: 0 Negative: 1200000000
Condition exists (x=0x100000002 /\ 2:X1=0x2 /\ 2:X2=0x100000002) is not validated
Hash=b69436c9b09f8d2b6953ab20cf14bc31
Time CO-MIXED-2b-dmbsy 447.95

Test CO-MIXED-6 Allow
Histogram (3 states)
2956    :> x=0x100000002;
1207072084:> x=0x100000003;
1192924960:> x=0x200000002;
No
Witnesses
Positive: 0 Negative: 2400000000
Condition exists (x=0x200000003) is not validated
Hash=c809e1965f85fcc54a956876cfebbdb6
Time CO-MIXED-6 283.77

Test CO-MIXED-6-mergedsep+reader Allow
Histogram (46 states)
64392508:> 3:X1=0x0; 3:X3=0x0; x=0x100000001;
64511538:> 3:X1=0x0; 3:X3=0x0; x=0x200000002;
32313672:> 3:X1=0x0; 3:X3=0x0; x=0x300000001;
32428067:> 3:X1=0x0; 3:X3=0x0; x=0x300000002;
120369  :> 3:X1=0x0; 3:X3=0x100000001; x=0x100000001;
959230  :> 3:X1=0x0; 3:X3=0x100000001; x=0x200000002;
110971  :> 3:X1=0x0; 3:X3=0x100000001; x=0x300000001;
859573  :> 3:X1=0x0; 3:X3=0x100000001; x=0x300000002;
974216  :> 3:X1=0x0; 3:X3=0x200000002; x=0x100000001;
119646  :> 3:X1=0x0; 3:X3=0x200000002; x=0x200000002;
870437  :> 3:X1=0x0; 3:X3=0x200000002; x=0x300000001;
110726  :> 3:X1=0x0; 3:X3=0x200000002; x=0x300000002;
836857  :> 3:X1=0x0; 3:X3=0x300000000; x=0x100000001;
832527  :> 3:X1=0x0; 3:X3=0x300000000; x=0x200000002;
110577  :> 3:X1=0x0; 3:X3=0x300000001; x=0x200000002;
60229   :> 3:X1=0x0; 3:X3=0x300000001; x=0x300000001;
111315  :> 3:X1=0x0; 3:X3=0x300000002; x=0x100000001;
60628   :> 3:X1=0x0; 3:X3=0x300000002; x=0x300000002;
194100716:> 3:X1=0x1; 3:X3=0x100000001; x=0x100000001;
69775412:> 3:X1=0x1; 3:X3=0x100000001; x=0x200000002;
43000066:> 3:X1=0x1; 3:X3=0x100000001; x=0x300000001;
25982820:> 3:X1=0x1; 3:X3=0x100000001; x=0x300000002;
360251  :> 3:X1=0x1; 3:X3=0x200000002; x=0x200000002;
112151  :> 3:X1=0x1; 3:X3=0x200000002; x=0x300000002;
109517  :> 3:X1=0x1; 3:X3=0x300000001; x=0x200000002;
277844  :> 3:X1=0x1; 3:X3=0x300000001; x=0x300000001;
82988   :> 3:X1=0x1; 3:X3=0x300000002; x=0x300000002;
361949  :> 3:X1=0x2; 3:X3=0x100000001; x=0x100000001;
109533  :> 3:X1=0x2; 3:X3=0x100000001; x=0x300000001;
69949051:> 3:X1=0x2; 3:X3=0x200000002; x=0x100000001;
193660701:> 3:X1=0x2; 3:X3=0x200000002; x=0x200000002;
25661277:> 3:X1=0x2; 3:X3=0x200000002; x=0x300000001;
43804802:> 3:X1=0x2; 3:X3=0x200000002; x=0x300000002;
82729   :> 3:X1=0x2; 3:X3=0x300000001; x=0x300000001;
109794  :> 3:X1=0x2; 3:X3=0x300000002; x=0x100000001;
275482  :> 3:X1=0x2; 3:X3=0x300000002; x=0x300000002;
360164  :> 3:X1=0x3; 3:X3=0x100000001; x=0x100000001;
111443  :> 3:X1=0x3; 3:X3=0x100000001; x=0x200000002;
108904  :> 3:X1=0x3; 3:X3=0x200000002; x=0x100000001;
356723  :> 3:X1=0x3; 3:X3=0x200000002; x=0x200000002;
25273664:> 3:X1=0x3; 3:X3=0x300000000; x=0x100000001;
25204786:> 3:X1=0x3; 3:X3=0x300000000; x=0x200000002;
43859704:> 3:X1=0x3; 3:X3=0x300000001; x=0x200000002;
96800634:> 3:X1=0x3; 3:X3=0x300000001; x=0x300000001;
43550121:> 3:X1=0x3; 3:X3=0x300000002; x=0x100000001;
96773688:> 3:X1=0x3; 3:X3=0x300000002; x=0x300000002;
No
Witnesses
Positive: 0 Negative: 1200000000
Condition exists (x=0x300000002 /\ 3:X1=0x3 /\ 3:X3=0x300000001) is not validated
Hash=ee4539ae3230a2eb96905d77c3ea1394
Time CO-MIXED-6-mergedsep+reader 997.43

Test CO-MIXED-6-sep+reader Allow
Histogram (27 states)
43129639:> 3:X1=0x0; 3:X3=0x0; x=0x200000001;
86592853:> 3:X1=0x0; 3:X3=0x0; x=0x200000002;
85954764:> 3:X1=0x0; 3:X3=0x0; x=0x300000001;
43316881:> 3:X1=0x0; 3:X3=0x0; x=0x300000002;
55830   :> 3:X1=0x0; 3:X3=0x1; x=0x200000001;
29771972:> 3:X1=0x0; 3:X3=0x1; x=0x200000002;
215966  :> 3:X1=0x0; 3:X3=0x1; x=0x300000001;
29599859:> 3:X1=0x0; 3:X3=0x1; x=0x300000002;
98493   :> 3:X1=0x0; 3:X3=0x2; x=0x200000001;
187169  :> 3:X1=0x0; 3:X3=0x2; x=0x200000002;
1690325 :> 3:X1=0x0; 3:X3=0x2; x=0x300000001;
338034  :> 3:X1=0x0; 3:X3=0x2; x=0x300000002;
82400767:> 3:X1=0x2; 3:X3=0x1; x=0x200000001;
43937968:> 3:X1=0x2; 3:X3=0x1; x=0x300000001;
44815215:> 3:X1=0x2; 3:X3=0x2; x=0x200000001;
165636544:> 3:X1=0x2; 3:X3=0x2; x=0x200000002;
57622586:> 3:X1=0x2; 3:X3=0x2; x=0x300000001;
44113754:> 3:X1=0x2; 3:X3=0x2; x=0x300000002;
28200437:> 3:X1=0x3; 3:X3=0x0; x=0x200000001;
28275077:> 3:X1=0x3; 3:X3=0x0; x=0x200000002;
73486   :> 3:X1=0x3; 3:X3=0x1; x=0x200000001;
90237967:> 3:X1=0x3; 3:X3=0x1; x=0x200000002;
165691516:> 3:X1=0x3; 3:X3=0x1; x=0x300000001;
106544  :> 3:X1=0x3; 3:X3=0x2; x=0x200000001;
561822  :> 3:X1=0x3; 3:X3=0x2; x=0x200000002;
44896150:> 3:X1=0x3; 3:X3=0x2; x=0x300000001;
82478382:> 3:X1=0x3; 3:X3=0x2; x=0x300000002;
No
Witnesses
Positive: 0 Negative: 1200000000
Condition exists (x=0x300000002 /\ 3:X1=0x3 /\ 3:X3=0x0) is not validated
Hash=3b8953536cebc0f178cd6d7114074c59
Time CO-MIXED-6-sep+reader 1058.34

Test IRIW-MIXED-1 Allow
Histogram (14 states)
148808109:> 1:X1=0x0; 3:X1=0x0;
40970168:> 1:X1=0x0; 3:X1=0x1;
41295394:> 1:X1=0x0; 3:X1=0x200000000;
125471853:> 1:X1=0x0; 3:X1=0x200000001;
40764705:> 1:X1=0x1; 3:X1=0x0;
62141343:> 1:X1=0x1; 3:X1=0x1;
48033523:> 1:X1=0x1; 3:X1=0x200000001;
40406267:> 1:X1=0x200000000; 3:X1=0x0;
61914472:> 1:X1=0x200000000; 3:X1=0x200000000;
47755129:> 1:X1=0x200000000; 3:X1=0x200000001;
120899208:> 1:X1=0x200000001; 3:X1=0x0;
46673092:> 1:X1=0x200000001; 3:X1=0x1;
46948486:> 1:X1=0x200000001; 3:X1=0x200000000;
327918251:> 1:X1=0x200000001; 3:X1=0x200000001;
No
Witnesses
Positive: 0 Negative: 1200000000
Condition exists (1:X1=0x1 /\ 3:X1=0x200000000) is not validated
Hash=2280aef3714c012f0a7da8d94450c7b6
Time IRIW-MIXED-1 592.76

Test MP+dmbsy+ldp-addr+BIS3 Allow
Histogram (3 states)
498612399:> 1:X1=0x0; 1:X2=0x0; 1:X4=0x0;
944667747:> 1:X1=0x0; 1:X2=0x0; 1:X4=0x1;
956719854:> 1:X1=0x1; 1:X2=0x2; 1:X4=0x1;
No
Witnesses
Positive: 0 Negative: 2400000000
Condition exists (1:X1=0x1 /\ 1:X2=0x0 /\ 1:X4=0x0) is not validated
Hash=5523082057ade9733f88cfe6e28b50a6
Time MP+dmbsy+ldp-addr+BIS3 454.53

Test MP+dmbsy+misaligned2+0 Allow
Histogram (4 states)
935147503:> 1:X1=0x0; 1:X2=0x0;
13937707:> 1:X1=0x0; 1:X2=0x11;
9181184 :> 1:X1=0x0; 1:X2=0x2211;
1441733606:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 2400000000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=ce4ffcaeb8e40a6780e2eb184c9498f4
Time MP+dmbsy+misaligned2+0 3329.18

Test MP+dmbsy+misaligned2+1 Allow
Histogram (4 states)
936333928:> 1:X1=0x0; 1:X2=0x0;
13939769:> 1:X1=0x0; 1:X2=0x11;
8980692 :> 1:X1=0x0; 1:X2=0x2211;
1440745611:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 2400000000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=fc5c2d3948cb73eabcb79b4ee840ecaa
Time MP+dmbsy+misaligned2+1 3330.36

Test MP+dmbsy+misaligned2+127 Allow
Histogram (6 states)
846997868:> 1:X1=0x0; 1:X2=0x0;
81999329:> 1:X1=0x0; 1:X2=0x11;
7       :> 1:X1=0x0; 1:X2=0x2200;
339326  :> 1:X1=0x0; 1:X2=0x2211;
1126    :> 1:X1=0x22; 1:X2=0x2200;
1470662344:> 1:X1=0x22; 1:X2=0x2211;
Ok
Witnesses
Positive: 1126 Negative: 2399998874
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is validated
Hash=a59735188321e49a9a64212ab6192234
Time MP+dmbsy+misaligned2+127 6278.32

Test MP+dmbsy+misaligned2+15 Allow
Histogram (5 states)
932375561:> 1:X1=0x0; 1:X2=0x0;
13492406:> 1:X1=0x0; 1:X2=0x11;
108565  :> 1:X1=0x0; 1:X2=0x2200;
9241058 :> 1:X1=0x0; 1:X2=0x2211;
1444782410:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 2400000000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=5e50731124ce3e7fec9e599327f631eb
Time MP+dmbsy+misaligned2+15 3337.85

Test MP+dmbsy+misaligned2+3 Allow
Histogram (4 states)
937031629:> 1:X1=0x0; 1:X2=0x0;
14261248:> 1:X1=0x0; 1:X2=0x11;
8449886 :> 1:X1=0x0; 1:X2=0x2211;
1440257237:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 2400000000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=b9be1369360061fed6ab4ef15e5a112c
Time MP+dmbsy+misaligned2+3 3330.78

Test MP+dmbsy+misaligned2+31 Allow
Histogram (5 states)
932265837:> 1:X1=0x0; 1:X2=0x0;
13515018:> 1:X1=0x0; 1:X2=0x11;
105231  :> 1:X1=0x0; 1:X2=0x2200;
9877330 :> 1:X1=0x0; 1:X2=0x2211;
1444236584:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 2400000000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=c2f2027a9567486453936174b509715f
Time MP+dmbsy+misaligned2+31 3331.59

Test MP+dmbsy+misaligned2+63 Allow
Histogram (6 states)
842231981:> 1:X1=0x0; 1:X2=0x0;
169708140:> 1:X1=0x0; 1:X2=0x11;
534     :> 1:X1=0x0; 1:X2=0x2200;
6392059 :> 1:X1=0x0; 1:X2=0x2211;
1088528 :> 1:X1=0x22; 1:X2=0x2200;
1380578758:> 1:X1=0x22; 1:X2=0x2211;
Ok
Witnesses
Positive: 1088528 Negative: 2398911472
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is validated
Hash=fcb11e61926d435587f03a3399b1557e
Time MP+dmbsy+misaligned2+63 3376.02

Test MP+dmbsy+misaligned2+7 Allow
Histogram (5 states)
933579380:> 1:X1=0x0; 1:X2=0x0;
13801617:> 1:X1=0x0; 1:X2=0x11;
127153  :> 1:X1=0x0; 1:X2=0x2200;
10682581:> 1:X1=0x0; 1:X2=0x2211;
1441809269:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 2400000000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=13b8f5bc22f404bacc3633f87baa06da
Time MP+dmbsy+misaligned2+7 3334.75

Test MP+misaligned2+0+addr Allow
Histogram (3 states)
875461596:> 1:X1=0x0; 1:X2=0x0;
5863401 :> 1:X1=0x0; 1:X2=0x22;
1518675003:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 2400000000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=a5d0267561267bf82b2450298865e61e
Time MP+misaligned2+0+addr 3307.76

Test MP+misaligned2+1+addr Allow
Histogram (3 states)
874695753:> 1:X1=0x0; 1:X2=0x0;
5910353 :> 1:X1=0x0; 1:X2=0x22;
1519393894:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 2400000000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=b024324906fe7a1106a8101eee38e28e
Time MP+misaligned2+1+addr 3308.06

Test MP+misaligned2+127+addr Allow
Histogram (4 states)
16761864:> 1:X1=0x0; 1:X2=0x0;
864963857:> 1:X1=0x0; 1:X2=0x22;
1926    :> 1:X1=0x11; 1:X2=0x0;
1518272353:> 1:X1=0x11; 1:X2=0x22;
Ok
Witnesses
Positive: 1926 Negative: 2399998074
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is validated
Hash=e6b046cfd0bcd7409210e3c30dc4ebd3
Time MP+misaligned2+127+addr 4812.30

Test MP+misaligned2+15+addr Allow
Histogram (4 states)
885095273:> 1:X1=0x0; 1:X2=0x0;
6887948 :> 1:X1=0x0; 1:X2=0x22;
213     :> 1:X1=0x11; 1:X2=0x0;
1508016566:> 1:X1=0x11; 1:X2=0x22;
Ok
Witnesses
Positive: 213 Negative: 2399999787
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is validated
Hash=0322054f98e0b6bf6cc8ad64eed847c5
Time MP+misaligned2+15+addr 3309.78

Test MP+misaligned2+3+addr Allow
Histogram (3 states)
875003607:> 1:X1=0x0; 1:X2=0x0;
5897556 :> 1:X1=0x0; 1:X2=0x22;
1519098837:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 2400000000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=7b47d2cb757da67b5b9747d9ab73a161
Time MP+misaligned2+3+addr 3311.00

Test MP+misaligned2+31+addr Allow
Histogram (4 states)
887680726:> 1:X1=0x0; 1:X2=0x0;
8224861 :> 1:X1=0x0; 1:X2=0x22;
156     :> 1:X1=0x11; 1:X2=0x0;
1504094257:> 1:X1=0x11; 1:X2=0x22;
Ok
Witnesses
Positive: 156 Negative: 2399999844
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is validated
Hash=d9d237f1dcf6adcc7c1fec5cb022c452
Time MP+misaligned2+31+addr 3308.77

Test MP+misaligned2+63+addr Allow
Histogram (4 states)
199886686:> 1:X1=0x0; 1:X2=0x0;
759764050:> 1:X1=0x0; 1:X2=0x22;
13040176:> 1:X1=0x11; 1:X2=0x0;
1427309088:> 1:X1=0x11; 1:X2=0x22;
Ok
Witnesses
Positive: 13040176 Negative: 2386959824
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is validated
Hash=765e0ee40721cddfedcb808c8826ec85
Time MP+misaligned2+63+addr 3353.81

Test MP+misaligned2+7+addr Allow
Histogram (3 states)
873490995:> 1:X1=0x0; 1:X2=0x0;
5965169 :> 1:X1=0x0; 1:X2=0x22;
1520543836:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 2400000000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=8297b24137994b82a1cf2da7629268f9
Time MP+misaligned2+7+addr 3311.18

Test MP+stp+addr+60 Allow
Histogram (4 states)
196682593:> 1:X1=0x0; 1:X2=0x0;
744182982:> 1:X1=0x0; 1:X2=0x1;
13236538:> 1:X1=0x2; 1:X2=0x0;
1445897887:> 1:X1=0x2; 1:X2=0x1;
Ok
Witnesses
Positive: 13236538 Negative: 2386763462
Condition exists (1:X1=0x2 /\ 1:X2=0x0) is validated
Hash=9f9ddfb902397817160e1f77f5d6678b
Time MP+stp+addr+60 956.92

Test MP+str+ldp Allow
Histogram (2 states)
1286104124:> 1:X20=0x0; 1:X21=0x0;
1113895876:> 1:X20=0x1; 1:X21=0x2;
No
Witnesses
Positive: 0 Negative: 2400000000
Condition exists (1:X20=0x1 /\ 1:X21=0x0 \/ 1:X20=0x0 /\ 1:X21=0x2) is not validated
Hash=86273554d2ca1c461d2f452a6cbbe173
Time MP+str+ldp 305.01

Test PPOCA-MIXED-1 Allow
Histogram (3 states)
382077269:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x0;
906530727:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x1;
1111392004:> 1:X0=0x1; 1:X4=0x1; 1:X6=0x1;
No
Witnesses
Positive: 0 Negative: 2400000000
Condition exists (1:X0=0x1 /\ 1:X4=0x1 /\ 1:X6=0x0) is not validated
Hash=5ef96648c55aa7f6aeb32f27f7f149e9
Time PPOCA-MIXED-1 486.35

Test PPOCA-MIXED-2 Allow
Histogram (3 states)
397102650:> 1:X0=0x0; 1:X4=0x201; 1:X6=0x0;
927787331:> 1:X0=0x0; 1:X4=0x201; 1:X6=0x1;
1075110019:> 1:X0=0x1; 1:X4=0x201; 1:X6=0x1;
No
Witnesses
Positive: 0 Negative: 2400000000
Condition exists (1:X0=0x1 /\ 1:X4=0x201 /\ 1:X6=0x0) is not validated
Hash=ffa093294cb3e793f7827ff4486e9a09
Time PPOCA-MIXED-2 477.56

Test PPOCA-MIXED-3 Allow
Histogram (3 states)
420501017:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x0;
914611389:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x1;
1064887594:> 1:X0=0x1; 1:X4=0x1; 1:X6=0x1;
No
Witnesses
Positive: 0 Negative: 2400000000
Condition exists (1:X0=0x1 /\ 1:X4=0x1 /\ 1:X6=0x0) is not validated
Hash=c3aa7d2550487cf57ec50800891d7e8a
Time PPOCA-MIXED-3 475.19

