Test CO-MIXED-1b Allow
Histogram (2 states)
760749014:> 1:X1=0x0; x=0x200000001;
439450986:> 1:X1=0x200000001; x=0x200000001;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (x=0x200000001 /\ 1:X1=0x200000000) is not validated
Hash=a45f46e49ca38dc1dcd4727c5f94d4f9
Time CO-MIXED-1b 224.26

Test CO-MIXED-20cc Allow
Histogram (4 states)
169266968:> 0:X2=0x11111111; x=0x2222222211111111;
562656929:> 0:X2=0x11111111; x=0x2222222222222222;
468170889:> 0:X2=0x2222222211111111; x=0x2222222211111111;
105214  :> 0:X2=0x2222222222222222; x=0x2222222222222222;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (x=0x2222222222222222 /\ 0:X2=0x2222222211111111) is not validated
Hash=1577e0e9a162146c527f70522de0c1ea
Time CO-MIXED-20cc 231.65

Test CO-MIXED-2b Allow
Histogram (18 states)
176838958:> 2:X1=0x0; 2:X2=0x0; x=0x100000001;
178820289:> 2:X1=0x0; 2:X2=0x0; x=0x100000002;
6419    :> 2:X1=0x0; 2:X2=0x100000001; x=0x100000001;
36046   :> 2:X1=0x0; 2:X2=0x100000001; x=0x100000002;
6447    :> 2:X1=0x0; 2:X2=0x100000002; x=0x100000002;
28862   :> 2:X1=0x0; 2:X2=0x2; x=0x100000001;
132     :> 2:X1=0x100000001; 2:X2=0x0; x=0x100000001;
779     :> 2:X1=0x100000001; 2:X2=0x0; x=0x100000002;
54870751:> 2:X1=0x100000001; 2:X2=0x100000001; x=0x100000001;
64090815:> 2:X1=0x100000001; 2:X2=0x100000001; x=0x100000002;
97254   :> 2:X1=0x100000001; 2:X2=0x100000002; x=0x100000002;
6       :> 2:X1=0x100000001; 2:X2=0x2; x=0x100000001;
168     :> 2:X1=0x100000002; 2:X2=0x0; x=0x100000002;
7       :> 2:X1=0x100000002; 2:X2=0x100000001; x=0x100000002;
57998095:> 2:X1=0x100000002; 2:X2=0x100000002; x=0x100000002;
913     :> 2:X1=0x2; 2:X2=0x0; x=0x100000001;
104674  :> 2:X1=0x2; 2:X2=0x100000001; x=0x100000001;
67199385:> 2:X1=0x2; 2:X2=0x2; x=0x100000001;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (x=0x100000002 /\ 2:X1=0x2 /\ 2:X2=0x100000002) is not validated
Hash=b8058f6206d883fd21b769f2ac9bdb3b
Time CO-MIXED-2b 280.20

Test CO-MIXED-2b-dmbsy Allow
Histogram (12 states)
99593096:> 2:X1=0x0; 2:X2=0x0; x=0x100000001;
101843254:> 2:X1=0x0; 2:X2=0x0; x=0x100000002;
20055603:> 2:X1=0x0; 2:X2=0x100000001; x=0x100000001;
41274648:> 2:X1=0x0; 2:X2=0x100000001; x=0x100000002;
20039060:> 2:X1=0x0; 2:X2=0x100000002; x=0x100000002;
42418449:> 2:X1=0x0; 2:X2=0x2; x=0x100000001;
64635591:> 2:X1=0x100000001; 2:X2=0x100000001; x=0x100000001;
53024666:> 2:X1=0x100000001; 2:X2=0x100000001; x=0x100000002;
21273342:> 2:X1=0x100000001; 2:X2=0x100000002; x=0x100000002;
62754533:> 2:X1=0x100000002; 2:X2=0x100000002; x=0x100000002;
21139305:> 2:X1=0x2; 2:X2=0x100000001; x=0x100000001;
52048453:> 2:X1=0x2; 2:X2=0x2; x=0x100000001;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (x=0x100000002 /\ 2:X1=0x2 /\ 2:X2=0x100000002) is not validated
Hash=b69436c9b09f8d2b6953ab20cf14bc31
Time CO-MIXED-2b-dmbsy 292.45

Test CO-MIXED-6 Allow
Histogram (3 states)
48      :> x=0x100000002;
598534462:> x=0x100000003;
601665490:> x=0x200000002;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (x=0x200000003) is not validated
Hash=c809e1965f85fcc54a956876cfebbdb6
Time CO-MIXED-6 213.63

Test CO-MIXED-6-mergedsep+reader Allow
Histogram (46 states)
119532191:> 3:X1=0x0; 3:X3=0x0; x=0x100000001;
118533328:> 3:X1=0x0; 3:X3=0x0; x=0x200000002;
58883274:> 3:X1=0x0; 3:X3=0x0; x=0x300000001;
58862749:> 3:X1=0x0; 3:X3=0x0; x=0x300000002;
428825  :> 3:X1=0x0; 3:X3=0x100000001; x=0x100000001;
1173152 :> 3:X1=0x0; 3:X3=0x100000001; x=0x200000002;
438276  :> 3:X1=0x0; 3:X3=0x100000001; x=0x300000001;
697859  :> 3:X1=0x0; 3:X3=0x100000001; x=0x300000002;
1231497 :> 3:X1=0x0; 3:X3=0x200000002; x=0x100000001;
415496  :> 3:X1=0x0; 3:X3=0x200000002; x=0x200000002;
770326  :> 3:X1=0x0; 3:X3=0x200000002; x=0x300000001;
443697  :> 3:X1=0x0; 3:X3=0x200000002; x=0x300000002;
724635  :> 3:X1=0x0; 3:X3=0x300000000; x=0x100000001;
733488  :> 3:X1=0x0; 3:X3=0x300000000; x=0x200000002;
429783  :> 3:X1=0x0; 3:X3=0x300000001; x=0x200000002;
209610  :> 3:X1=0x0; 3:X3=0x300000001; x=0x300000001;
430478  :> 3:X1=0x0; 3:X3=0x300000002; x=0x100000001;
206600  :> 3:X1=0x0; 3:X3=0x300000002; x=0x300000002;
21447817:> 3:X1=0x1; 3:X3=0x100000001; x=0x100000001;
27185822:> 3:X1=0x1; 3:X3=0x100000001; x=0x200000002;
10810980:> 3:X1=0x1; 3:X3=0x100000001; x=0x300000001;
16475246:> 3:X1=0x1; 3:X3=0x100000001; x=0x300000002;
399438  :> 3:X1=0x1; 3:X3=0x200000002; x=0x200000002;
281542  :> 3:X1=0x1; 3:X3=0x200000002; x=0x300000002;
274577  :> 3:X1=0x1; 3:X3=0x300000001; x=0x200000002;
264500  :> 3:X1=0x1; 3:X3=0x300000001; x=0x300000001;
145202  :> 3:X1=0x1; 3:X3=0x300000002; x=0x300000002;
425398  :> 3:X1=0x2; 3:X3=0x100000001; x=0x100000001;
306428  :> 3:X1=0x2; 3:X3=0x100000001; x=0x300000001;
28590311:> 3:X1=0x2; 3:X3=0x200000002; x=0x100000001;
22007217:> 3:X1=0x2; 3:X3=0x200000002; x=0x200000002;
17390046:> 3:X1=0x2; 3:X3=0x200000002; x=0x300000001;
10861555:> 3:X1=0x2; 3:X3=0x200000002; x=0x300000002;
151783  :> 3:X1=0x2; 3:X3=0x300000001; x=0x300000001;
301723  :> 3:X1=0x2; 3:X3=0x300000002; x=0x100000001;
265651  :> 3:X1=0x2; 3:X3=0x300000002; x=0x300000002;
422192  :> 3:X1=0x3; 3:X3=0x100000001; x=0x100000001;
313765  :> 3:X1=0x3; 3:X3=0x100000001; x=0x200000002;
305945  :> 3:X1=0x3; 3:X3=0x200000002; x=0x100000001;
416289  :> 3:X1=0x3; 3:X3=0x200000002; x=0x200000002;
17578944:> 3:X1=0x3; 3:X3=0x300000000; x=0x100000001;
17495819:> 3:X1=0x3; 3:X3=0x300000000; x=0x200000002;
10297358:> 3:X1=0x3; 3:X3=0x300000001; x=0x200000002;
10590918:> 3:X1=0x3; 3:X3=0x300000001; x=0x300000001;
10452949:> 3:X1=0x3; 3:X3=0x300000002; x=0x100000001;
10495321:> 3:X1=0x3; 3:X3=0x300000002; x=0x300000002;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (x=0x300000002 /\ 3:X1=0x3 /\ 3:X3=0x300000001) is not validated
Hash=ee4539ae3230a2eb96905d77c3ea1394
Time CO-MIXED-6-mergedsep+reader 375.43

Test CO-MIXED-6-sep+reader Allow
Histogram (27 states)
59667752:> 3:X1=0x0; 3:X3=0x0; x=0x200000001;
118285091:> 3:X1=0x0; 3:X3=0x0; x=0x200000002;
118673053:> 3:X1=0x0; 3:X3=0x0; x=0x300000001;
58927811:> 3:X1=0x0; 3:X3=0x0; x=0x300000002;
214598  :> 3:X1=0x0; 3:X3=0x1; x=0x200000001;
19601199:> 3:X1=0x0; 3:X3=0x1; x=0x200000002;
819185  :> 3:X1=0x0; 3:X3=0x1; x=0x300000001;
18202365:> 3:X1=0x0; 3:X3=0x1; x=0x300000002;
421789  :> 3:X1=0x0; 3:X3=0x2; x=0x200000001;
584640  :> 3:X1=0x0; 3:X3=0x2; x=0x200000002;
1965440 :> 3:X1=0x0; 3:X3=0x2; x=0x300000001;
1101538 :> 3:X1=0x0; 3:X3=0x2; x=0x300000002;
11273280:> 3:X1=0x2; 3:X3=0x1; x=0x200000001;
11045505:> 3:X1=0x2; 3:X3=0x1; x=0x300000001;
10334725:> 3:X1=0x2; 3:X3=0x2; x=0x200000001;
22208065:> 3:X1=0x2; 3:X3=0x2; x=0x200000002;
34822121:> 3:X1=0x2; 3:X3=0x2; x=0x300000001;
10600106:> 3:X1=0x2; 3:X3=0x2; x=0x300000002;
16904606:> 3:X1=0x3; 3:X3=0x0; x=0x200000001;
17375914:> 3:X1=0x3; 3:X3=0x0; x=0x200000002;
153133  :> 3:X1=0x3; 3:X3=0x1; x=0x200000001;
21908080:> 3:X1=0x3; 3:X3=0x1; x=0x200000002;
21754071:> 3:X1=0x3; 3:X3=0x1; x=0x300000001;
299737  :> 3:X1=0x3; 3:X3=0x2; x=0x200000001;
637046  :> 3:X1=0x3; 3:X3=0x2; x=0x200000002;
10714779:> 3:X1=0x3; 3:X3=0x2; x=0x300000001;
11604371:> 3:X1=0x3; 3:X3=0x2; x=0x300000002;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (x=0x300000002 /\ 3:X1=0x3 /\ 3:X3=0x0) is not validated
Hash=3b8953536cebc0f178cd6d7114074c59
Time CO-MIXED-6-sep+reader 831.73

Test Co-mixed-1-uint64 Allow
Histogram (4 states)
735710418:> 1:X1=0x0; 1:X2=0x0;
408     :> 1:X1=0x0; 1:X2=0x1;
3208    :> 1:X1=0x1; 1:X2=0x0;
464485966:> 1:X1=0x1; 1:X2=0x1;
Ok
Witnesses
Positive: 3208 Negative: 1200196792
Condition exists (1:X1=0x1 /\ 1:X2=0x0) is validated
Hash=5e1b07d82fa056e93fe830dea727fdd3
Time Co-mixed-1-uint64 200.92

Test IRIW-MIXED-1 Allow
Histogram (14 states)
322323715:> 1:X1=0x0; 3:X1=0x0;
24585476:> 1:X1=0x0; 3:X1=0x1;
28592504:> 1:X1=0x0; 3:X1=0x200000000;
50925449:> 1:X1=0x0; 3:X1=0x200000001;
25573273:> 1:X1=0x1; 3:X1=0x0;
14736890:> 1:X1=0x1; 3:X1=0x1;
3815737 :> 1:X1=0x1; 3:X1=0x200000001;
28269324:> 1:X1=0x200000000; 3:X1=0x0;
18569637:> 1:X1=0x200000000; 3:X1=0x200000000;
4698383 :> 1:X1=0x200000000; 3:X1=0x200000001;
50329774:> 1:X1=0x200000001; 3:X1=0x0;
3790391 :> 1:X1=0x200000001; 3:X1=0x1;
4664219 :> 1:X1=0x200000001; 3:X1=0x200000000;
19225228:> 1:X1=0x200000001; 3:X1=0x200000001;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x1 /\ 3:X1=0x200000000) is not validated
Hash=2280aef3714c012f0a7da8d94450c7b6
Time IRIW-MIXED-1 217.38

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

Test MP+dmbsy+misaligned2+0 Allow
Histogram (5 states)
790141255:> 1:X1=0x0; 1:X2=0x0;
141210453:> 1:X1=0x0; 1:X2=0x11;
201044  :> 1:X1=0x0; 1:X2=0x2211;
11      :> 1:X1=0x22; 1:X2=0x0;
268647237:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=ce4ffcaeb8e40a6780e2eb184c9498f4
Time MP+dmbsy+misaligned2+0 2768.84

Test MP+dmbsy+misaligned2+0x Allow
Histogram (5 states)
785507048:> 1:X1=0x0; 1:X2=0x0;
139302561:> 1:X1=0x0; 1:X2=0x1100;
227920  :> 1:X1=0x0; 1:X2=0x1122;
15      :> 1:X1=0x22; 1:X2=0x0;
275162456:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=9ba4ac30b88326673f13c083008f51d5
Time MP+dmbsy+misaligned2+0x 2924.09

Test MP+dmbsy+misaligned2+1 Allow
Histogram (5 states)
789444074:> 1:X1=0x0; 1:X2=0x0;
143860897:> 1:X1=0x0; 1:X2=0x11;
208370  :> 1:X1=0x0; 1:X2=0x2211;
2       :> 1:X1=0x22; 1:X2=0x0;
266686657:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=fc5c2d3948cb73eabcb79b4ee840ecaa
Time MP+dmbsy+misaligned2+1 2769.85

Test MP+dmbsy+misaligned2+127 Allow
Histogram (6 states)
783743314:> 1:X1=0x0; 1:X2=0x0;
165650133:> 1:X1=0x0; 1:X2=0x11;
814     :> 1:X1=0x0; 1:X2=0x2200;
16244658:> 1:X1=0x0; 1:X2=0x2211;
196     :> 1:X1=0x22; 1:X2=0x2200;
234560885:> 1:X1=0x22; 1:X2=0x2211;
Ok
Witnesses
Positive: 196 Negative: 1200199804
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is validated
Hash=a59735188321e49a9a64212ab6192234
Time MP+dmbsy+misaligned2+127 5256.70

Test MP+dmbsy+misaligned2+127x Allow
Histogram (6 states)
662488043:> 1:X1=0x0; 1:X2=0x0;
131465884:> 1:X1=0x0; 1:X2=0x1100;
108273533:> 1:X1=0x0; 1:X2=0x1122;
560     :> 1:X1=0x0; 1:X2=0x22;
297971799:> 1:X1=0x22; 1:X2=0x1122;
181     :> 1:X1=0x22; 1:X2=0x22;
Ok
Witnesses
Positive: 181 Negative: 1200199819
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is validated
Hash=24852f1c0c8e31b96c31b97c179e8ab8
Time MP+dmbsy+misaligned2+127x 5353.92

Test MP+dmbsy+misaligned2+15 Allow
Histogram (5 states)
785167448:> 1:X1=0x0; 1:X2=0x0;
142813235:> 1:X1=0x0; 1:X2=0x11;
214315  :> 1:X1=0x0; 1:X2=0x2211;
8       :> 1:X1=0x22; 1:X2=0x0;
272004994:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=5e50731124ce3e7fec9e599327f631eb
Time MP+dmbsy+misaligned2+15 2783.28

Test MP+dmbsy+misaligned2+15x Allow
Histogram (5 states)
784351196:> 1:X1=0x0; 1:X2=0x0;
141186191:> 1:X1=0x0; 1:X2=0x1100;
221348  :> 1:X1=0x0; 1:X2=0x1122;
11      :> 1:X1=0x22; 1:X2=0x0;
274441254:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=df5b7bf3bc5702da1726b529e7659040
Time MP+dmbsy+misaligned2+15x 2831.34

Test MP+dmbsy+misaligned2+1x Allow
Histogram (5 states)
781602573:> 1:X1=0x0; 1:X2=0x0;
140317837:> 1:X1=0x0; 1:X2=0x1100;
224942  :> 1:X1=0x0; 1:X2=0x1122;
5       :> 1:X1=0x22; 1:X2=0x0;
278054643:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=d029af8b48208b7505d59468a2e815e4
Time MP+dmbsy+misaligned2+1x 2956.08

Test MP+dmbsy+misaligned2+255 Allow
Histogram (6 states)
765598120:> 1:X1=0x0; 1:X2=0x0;
158985247:> 1:X1=0x0; 1:X2=0x11;
1857    :> 1:X1=0x0; 1:X2=0x2200;
14377262:> 1:X1=0x0; 1:X2=0x2211;
143     :> 1:X1=0x22; 1:X2=0x2200;
261237371:> 1:X1=0x22; 1:X2=0x2211;
Ok
Witnesses
Positive: 143 Negative: 1200199857
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is validated
Hash=c267f3496b72032f9a3129ddba831da7
Time MP+dmbsy+misaligned2+255 6754.16

Test MP+dmbsy+misaligned2+255x Allow
Histogram (6 states)
709230675:> 1:X1=0x0; 1:X2=0x0;
150014930:> 1:X1=0x0; 1:X2=0x1100;
23237962:> 1:X1=0x0; 1:X2=0x1122;
574     :> 1:X1=0x0; 1:X2=0x22;
317715739:> 1:X1=0x22; 1:X2=0x1122;
120     :> 1:X1=0x22; 1:X2=0x22;
Ok
Witnesses
Positive: 120 Negative: 1200199880
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is validated
Hash=092e7251bbf263d1509922e97b1a9b1a
Time MP+dmbsy+misaligned2+255x 6655.43

Test MP+dmbsy+misaligned2+3 Allow
Histogram (5 states)
785497239:> 1:X1=0x0; 1:X2=0x0;
147257924:> 1:X1=0x0; 1:X2=0x11;
193946  :> 1:X1=0x0; 1:X2=0x2211;
8       :> 1:X1=0x22; 1:X2=0x0;
267250883:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=b9be1369360061fed6ab4ef15e5a112c
Time MP+dmbsy+misaligned2+3 2770.06

Test MP+dmbsy+misaligned2+31 Allow
Histogram (5 states)
770444183:> 1:X1=0x0; 1:X2=0x0;
148932246:> 1:X1=0x0; 1:X2=0x11;
189450  :> 1:X1=0x0; 1:X2=0x2211;
12      :> 1:X1=0x22; 1:X2=0x0;
280634109:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=c2f2027a9567486453936174b509715f
Time MP+dmbsy+misaligned2+31 2783.06

Test MP+dmbsy+misaligned2+31x Allow
Histogram (5 states)
781219999:> 1:X1=0x0; 1:X2=0x0;
148951821:> 1:X1=0x0; 1:X2=0x1100;
215667  :> 1:X1=0x0; 1:X2=0x1122;
6       :> 1:X1=0x22; 1:X2=0x0;
269812507:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=4fe8628486a12b59aee309d6f85c3619
Time MP+dmbsy+misaligned2+31x 2883.17

Test MP+dmbsy+misaligned2+3x Allow
Histogram (5 states)
783357022:> 1:X1=0x0; 1:X2=0x0;
141389680:> 1:X1=0x0; 1:X2=0x1100;
230119  :> 1:X1=0x0; 1:X2=0x1122;
3       :> 1:X1=0x22; 1:X2=0x0;
275223176:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=8c540fdd18640c6a74d1aa267f9b89d8
Time MP+dmbsy+misaligned2+3x 2933.20

Test MP+dmbsy+misaligned2+511 Allow
Histogram (6 states)
729431824:> 1:X1=0x0; 1:X2=0x0;
182069081:> 1:X1=0x0; 1:X2=0x11;
5188    :> 1:X1=0x0; 1:X2=0x2200;
7193439 :> 1:X1=0x0; 1:X2=0x2211;
172     :> 1:X1=0x22; 1:X2=0x2200;
281500296:> 1:X1=0x22; 1:X2=0x2211;
Ok
Witnesses
Positive: 172 Negative: 1200199828
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is validated
Hash=0b06ec05a3755fe3e2aee03dea92c2b1
Time MP+dmbsy+misaligned2+511 11680.67

Test MP+dmbsy+misaligned2+511x Allow
Histogram (6 states)
692834035:> 1:X1=0x0; 1:X2=0x0;
184812982:> 1:X1=0x0; 1:X2=0x1100;
14280605:> 1:X1=0x0; 1:X2=0x1122;
278     :> 1:X1=0x0; 1:X2=0x22;
308272015:> 1:X1=0x22; 1:X2=0x1122;
85      :> 1:X1=0x22; 1:X2=0x22;
Ok
Witnesses
Positive: 85 Negative: 1200199915
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is validated
Hash=4b78c306c28ba869f417299ca856701e
Time MP+dmbsy+misaligned2+511x 11564.93

Test MP+dmbsy+misaligned2+63 Allow
Histogram (5 states)
777066467:> 1:X1=0x0; 1:X2=0x0;
143734493:> 1:X1=0x0; 1:X2=0x11;
3344    :> 1:X1=0x0; 1:X2=0x2200;
627608  :> 1:X1=0x0; 1:X2=0x2211;
278768088:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=fcb11e61926d435587f03a3399b1557e
Time MP+dmbsy+misaligned2+63 2770.96

Test MP+dmbsy+misaligned2+63x Allow
Histogram (5 states)
752328563:> 1:X1=0x0; 1:X2=0x0;
145096675:> 1:X1=0x0; 1:X2=0x1100;
3681766 :> 1:X1=0x0; 1:X2=0x1122;
326     :> 1:X1=0x0; 1:X2=0x22;
299092670:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=fa0da4c0af1ecd49543bc1bf215b049a
Time MP+dmbsy+misaligned2+63x 2868.25

Test MP+dmbsy+misaligned2+7 Allow
Histogram (5 states)
782471322:> 1:X1=0x0; 1:X2=0x0;
143793080:> 1:X1=0x0; 1:X2=0x11;
215972  :> 1:X1=0x0; 1:X2=0x2211;
9       :> 1:X1=0x22; 1:X2=0x0;
273719617:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=13b8f5bc22f404bacc3633f87baa06da
Time MP+dmbsy+misaligned2+7 2771.94

Test MP+dmbsy+misaligned2+7x Allow
Histogram (5 states)
782903471:> 1:X1=0x0; 1:X2=0x0;
126128407:> 1:X1=0x0; 1:X2=0x1100;
240501  :> 1:X1=0x0; 1:X2=0x1122;
15      :> 1:X1=0x22; 1:X2=0x0;
290927606:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=ecc9e346edae3cfb15946a977a8430ef
Time MP+dmbsy+misaligned2+7x 2829.93

Test MP+misaligned2+0+addr Allow
Histogram (3 states)
736039432:> 1:X1=0x0; 1:X2=0x0;
6453836 :> 1:X1=0x0; 1:X2=0x22;
457706732:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=a5d0267561267bf82b2450298865e61e
Time MP+misaligned2+0+addr 2668.21

Test MP+misaligned2+0x+addr Allow
Histogram (3 states)
725371017:> 1:X1=0x0; 1:X2=0x0;
6722536 :> 1:X1=0x0; 1:X2=0x11;
468106447:> 1:X1=0x22; 1:X2=0x11;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is not validated
Hash=16031e477468b2ed2729eaf6f557be25
Time MP+misaligned2+0x+addr 2895.87

Test MP+misaligned2+1+addr Allow
Histogram (3 states)
749280629:> 1:X1=0x0; 1:X2=0x0;
5611977 :> 1:X1=0x0; 1:X2=0x22;
445307394:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=b024324906fe7a1106a8101eee38e28e
Time MP+misaligned2+1+addr 2682.75

Test MP+misaligned2+127+addr Allow
Histogram (4 states)
570306200:> 1:X1=0x0; 1:X2=0x0;
157506779:> 1:X1=0x0; 1:X2=0x22;
29150   :> 1:X1=0x11; 1:X2=0x0;
472357871:> 1:X1=0x11; 1:X2=0x22;
Ok
Witnesses
Positive: 29150 Negative: 1200170850
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is validated
Hash=e6b046cfd0bcd7409210e3c30dc4ebd3
Time MP+misaligned2+127+addr 3984.11

Test MP+misaligned2+127x+addr Allow
Histogram (4 states)
597599959:> 1:X1=0x0; 1:X2=0x0;
109472539:> 1:X1=0x0; 1:X2=0x11;
12296515:> 1:X1=0x22; 1:X2=0x0;
480830987:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 12296515 Negative: 1187903485
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=0aa26414170423d5b5b23d3bc863199d
Time MP+misaligned2+127x+addr 4136.50

Test MP+misaligned2+15+addr Allow
Histogram (3 states)
729776773:> 1:X1=0x0; 1:X2=0x0;
7108253 :> 1:X1=0x0; 1:X2=0x22;
463314974:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=0322054f98e0b6bf6cc8ad64eed847c5
Time MP+misaligned2+15+addr 2699.44

Test MP+misaligned2+15x+addr Allow
Histogram (3 states)
723778939:> 1:X1=0x0; 1:X2=0x0;
6676442 :> 1:X1=0x0; 1:X2=0x11;
469744619:> 1:X1=0x22; 1:X2=0x11;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is not validated
Hash=e0a74bb1124f8c1245e740fcf10c58db
Time MP+misaligned2+15x+addr 2823.23

Test MP+misaligned2+1x+addr Allow
Histogram (3 states)
730797034:> 1:X1=0x0; 1:X2=0x0;
6699100 :> 1:X1=0x0; 1:X2=0x11;
462703866:> 1:X1=0x22; 1:X2=0x11;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is not validated
Hash=50c345fdbc0e0f65861b0b63ff1c06bb
Time MP+misaligned2+1x+addr 2902.47

Test MP+misaligned2+255+addr Allow
Histogram (4 states)
576300061:> 1:X1=0x0; 1:X2=0x0;
173334391:> 1:X1=0x0; 1:X2=0x22;
33405   :> 1:X1=0x11; 1:X2=0x0;
450532143:> 1:X1=0x11; 1:X2=0x22;
Ok
Witnesses
Positive: 33405 Negative: 1200166595
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is validated
Hash=a5c4b24c204e5d84c8045d870f09a5b4
Time MP+misaligned2+255+addr 6670.72

Test MP+misaligned2+255x+addr Allow
Histogram (4 states)
555203103:> 1:X1=0x0; 1:X2=0x0;
148929301:> 1:X1=0x0; 1:X2=0x11;
24105368:> 1:X1=0x22; 1:X2=0x0;
471962228:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 24105368 Negative: 1176094632
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=b07522165a2220af4050b5d4ce10b2af
Time MP+misaligned2+255x+addr 6652.50

Test MP+misaligned2+3+addr Allow
Histogram (3 states)
725248031:> 1:X1=0x0; 1:X2=0x0;
7022660 :> 1:X1=0x0; 1:X2=0x22;
467929309:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=7b47d2cb757da67b5b9747d9ab73a161
Time MP+misaligned2+3+addr 2693.06

Test MP+misaligned2+31+addr Allow
Histogram (3 states)
727720220:> 1:X1=0x0; 1:X2=0x0;
7616667 :> 1:X1=0x0; 1:X2=0x22;
464863113:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=d9d237f1dcf6adcc7c1fec5cb022c452
Time MP+misaligned2+31+addr 2713.44

Test MP+misaligned2+31x+addr Allow
Histogram (3 states)
731061426:> 1:X1=0x0; 1:X2=0x0;
6620970 :> 1:X1=0x0; 1:X2=0x11;
462517604:> 1:X1=0x22; 1:X2=0x11;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is not validated
Hash=a8849322e6f9ce21b0006a30f6e0c8ae
Time MP+misaligned2+31x+addr 2849.84

Test MP+misaligned2+3x+addr Allow
Histogram (3 states)
727565874:> 1:X1=0x0; 1:X2=0x0;
7009477 :> 1:X1=0x0; 1:X2=0x11;
465624649:> 1:X1=0x22; 1:X2=0x11;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is not validated
Hash=685cc003781b6611aeea5a89854f4d12
Time MP+misaligned2+3x+addr 2870.30

Test MP+misaligned2+511+addr Allow
Histogram (4 states)
508665606:> 1:X1=0x0; 1:X2=0x0;
263953342:> 1:X1=0x0; 1:X2=0x22;
13771   :> 1:X1=0x11; 1:X2=0x0;
427567281:> 1:X1=0x11; 1:X2=0x22;
Ok
Witnesses
Positive: 13771 Negative: 1200186229
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is validated
Hash=c6a8085ab481397e8a6eb49116d34aab
Time MP+misaligned2+511+addr 11669.94

Test MP+misaligned2+511x+addr Allow
Histogram (4 states)
518913202:> 1:X1=0x0; 1:X2=0x0;
220504980:> 1:X1=0x0; 1:X2=0x11;
36065676:> 1:X1=0x22; 1:X2=0x0;
424716142:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 36065676 Negative: 1164134324
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=e1dae19dd74c3c105abbd88c6402be2e
Time MP+misaligned2+511x+addr 11715.82

Test MP+misaligned2+63+addr Allow
Histogram (4 states)
726298065:> 1:X1=0x0; 1:X2=0x0;
75417219:> 1:X1=0x0; 1:X2=0x22;
1154    :> 1:X1=0x11; 1:X2=0x0;
398483562:> 1:X1=0x11; 1:X2=0x22;
Ok
Witnesses
Positive: 1154 Negative: 1200198846
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is validated
Hash=765e0ee40721cddfedcb808c8826ec85
Time MP+misaligned2+63+addr 2736.51

Test MP+misaligned2+63x+addr Allow
Histogram (4 states)
716645810:> 1:X1=0x0; 1:X2=0x0;
20847920:> 1:X1=0x0; 1:X2=0x11;
51058201:> 1:X1=0x22; 1:X2=0x0;
411648069:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 51058201 Negative: 1149141799
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=db0d4444a5a370d709011c21b70ea136
Time MP+misaligned2+63x+addr 2845.92

Test MP+misaligned2+7+addr Allow
Histogram (3 states)
727942353:> 1:X1=0x0; 1:X2=0x0;
7058820 :> 1:X1=0x0; 1:X2=0x22;
465198827:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=8297b24137994b82a1cf2da7629268f9
Time MP+misaligned2+7+addr 2713.42

Test MP+misaligned2+7x+addr Allow
Histogram (3 states)
728669566:> 1:X1=0x0; 1:X2=0x0;
6736442 :> 1:X1=0x0; 1:X2=0x11;
464793992:> 1:X1=0x22; 1:X2=0x11;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is not validated
Hash=8a866b98b162cad880c5bd260f7fa2bb
Time MP+misaligned2+7x+addr 2845.19

Test MP+stp+addr+60 Allow
Histogram (4 states)
723207936:> 1:X1=0x0; 1:X2=0x0;
44208692:> 1:X1=0x0; 1:X2=0x1;
318     :> 1:X1=0x2; 1:X2=0x0;
432783054:> 1:X1=0x2; 1:X2=0x1;
Ok
Witnesses
Positive: 318 Negative: 1200199682
Condition exists (1:X1=0x2 /\ 1:X2=0x0) is validated
Hash=9f9ddfb902397817160e1f77f5d6678b
Time MP+stp+addr+60 528.84

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

Test PPOCA-MIXED-1 Allow
Histogram (3 states)
558375121:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x0;
313361079:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x1;
328463800:> 1:X0=0x1; 1:X4=0x1; 1:X6=0x1;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X0=0x1 /\ 1:X4=0x1 /\ 1:X6=0x0) is not validated
Hash=5ef96648c55aa7f6aeb32f27f7f149e9
Time PPOCA-MIXED-1 261.61

Test PPOCA-MIXED-2 Allow
Histogram (3 states)
548192722:> 1:X0=0x0; 1:X4=0x201; 1:X6=0x0;
318453365:> 1:X0=0x0; 1:X4=0x201; 1:X6=0x1;
333553913:> 1:X0=0x1; 1:X4=0x201; 1:X6=0x1;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X0=0x1 /\ 1:X4=0x201 /\ 1:X6=0x0) is not validated
Hash=ffa093294cb3e793f7827ff4486e9a09
Time PPOCA-MIXED-2 259.08

Test PPOCA-MIXED-3 Allow
Histogram (4 states)
551513957:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x0;
317546792:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x1;
41      :> 1:X0=0x1; 1:X4=0x1; 1:X6=0x0;
331139210:> 1:X0=0x1; 1:X4=0x1; 1:X6=0x1;
Ok
Witnesses
Positive: 41 Negative: 1200199959
Condition exists (1:X0=0x1 /\ 1:X4=0x1 /\ 1:X6=0x0) is validated
Hash=c3aa7d2550487cf57ec50800891d7e8a
Time PPOCA-MIXED-3 261.56

