Test CO-MIXED-1b Allow
Histogram (3 states)
619854247:> 1:X1=0x0; x=0x200000001;
2984    :> 1:X1=0x1; x=0x200000001;
580342769:> 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 238.62

Test CO-MIXED-20cc Allow
Histogram (5 states)
319688941:> 0:X2=0x11111111; x=0x2222222211111111;
189533014:> 0:X2=0x11111111; x=0x2222222222222222;
690977372:> 0:X2=0x2222222211111111; x=0x2222222211111111;
1       :> 0:X2=0x2222222211111111; x=0x2222222222222222;
672     :> 0:X2=0x2222222222222222; x=0x2222222222222222;
Ok
Witnesses
Positive: 1 Negative: 1200199999
Condition exists (x=0x2222222222222222 /\ 0:X2=0x2222222211111111) is validated
Hash=1577e0e9a162146c527f70522de0c1ea
Time CO-MIXED-20cc 218.78

Test CO-MIXED-2b Allow
Histogram (12 states)
64585630:> 2:X1=0x0; 2:X2=0x0; x=0x100000001;
64552678:> 2:X1=0x0; 2:X2=0x0; x=0x100000002;
23436   :> 2:X1=0x0; 2:X2=0x100000001; x=0x100000001;
303573  :> 2:X1=0x0; 2:X2=0x100000001; x=0x100000002;
23766   :> 2:X1=0x0; 2:X2=0x100000002; x=0x100000002;
303763  :> 2:X1=0x0; 2:X2=0x2; x=0x100000001;
177965994:> 2:X1=0x100000001; 2:X2=0x100000001; x=0x100000001;
57108791:> 2:X1=0x100000001; 2:X2=0x100000001; x=0x100000002;
91444   :> 2:X1=0x100000001; 2:X2=0x100000002; x=0x100000002;
178117435:> 2:X1=0x100000002; 2:X2=0x100000002; x=0x100000002;
94605   :> 2:X1=0x2; 2:X2=0x100000001; x=0x100000001;
56928885:> 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 376.43

Test CO-MIXED-2b-dmbsy Allow
Histogram (12 states)
57308981:> 2:X1=0x0; 2:X2=0x0; x=0x100000001;
57148341:> 2:X1=0x0; 2:X2=0x0; x=0x100000002;
4491797 :> 2:X1=0x0; 2:X2=0x100000001; x=0x100000001;
1834608 :> 2:X1=0x0; 2:X2=0x100000001; x=0x100000002;
4448920 :> 2:X1=0x0; 2:X2=0x100000002; x=0x100000002;
1739170 :> 2:X1=0x0; 2:X2=0x2; x=0x100000001;
191236133:> 2:X1=0x100000001; 2:X2=0x100000001; x=0x100000001;
33715449:> 2:X1=0x100000001; 2:X2=0x100000001; x=0x100000002;
11784118:> 2:X1=0x100000001; 2:X2=0x100000002; x=0x100000002;
190446258:> 2:X1=0x100000002; 2:X2=0x100000002; x=0x100000002;
12180703:> 2:X1=0x2; 2:X2=0x100000001; x=0x100000001;
33765522:> 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 390.00

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

Test CO-MIXED-6-mergedsep+reader Allow
Histogram (46 states)
37314645:> 3:X1=0x0; 3:X3=0x0; x=0x100000001;
37563008:> 3:X1=0x0; 3:X3=0x0; x=0x200000002;
18352118:> 3:X1=0x0; 3:X3=0x0; x=0x300000001;
18512218:> 3:X1=0x0; 3:X3=0x0; x=0x300000002;
97041   :> 3:X1=0x0; 3:X3=0x100000001; x=0x100000001;
692181  :> 3:X1=0x0; 3:X3=0x100000001; x=0x200000002;
111906  :> 3:X1=0x0; 3:X3=0x100000001; x=0x300000001;
562957  :> 3:X1=0x0; 3:X3=0x100000001; x=0x300000002;
673367  :> 3:X1=0x0; 3:X3=0x200000002; x=0x100000001;
99677   :> 3:X1=0x0; 3:X3=0x200000002; x=0x200000002;
559029  :> 3:X1=0x0; 3:X3=0x200000002; x=0x300000001;
111429  :> 3:X1=0x0; 3:X3=0x200000002; x=0x300000002;
580525  :> 3:X1=0x0; 3:X3=0x300000000; x=0x100000001;
589840  :> 3:X1=0x0; 3:X3=0x300000000; x=0x200000002;
113119  :> 3:X1=0x0; 3:X3=0x300000001; x=0x200000002;
49445   :> 3:X1=0x0; 3:X3=0x300000001; x=0x300000001;
110630  :> 3:X1=0x0; 3:X3=0x300000002; x=0x100000001;
50626   :> 3:X1=0x0; 3:X3=0x300000002; x=0x300000002;
80368501:> 3:X1=0x1; 3:X3=0x100000001; x=0x100000001;
40045246:> 3:X1=0x1; 3:X3=0x100000001; x=0x200000002;
23328699:> 3:X1=0x1; 3:X3=0x100000001; x=0x300000001;
16416624:> 3:X1=0x1; 3:X3=0x100000001; x=0x300000002;
131009  :> 3:X1=0x1; 3:X3=0x200000002; x=0x200000002;
55224   :> 3:X1=0x1; 3:X3=0x200000002; x=0x300000002;
55357   :> 3:X1=0x1; 3:X3=0x300000001; x=0x200000002;
104787  :> 3:X1=0x1; 3:X3=0x300000001; x=0x300000001;
30444   :> 3:X1=0x1; 3:X3=0x300000002; x=0x300000002;
130542  :> 3:X1=0x2; 3:X3=0x100000001; x=0x100000001;
54090   :> 3:X1=0x2; 3:X3=0x100000001; x=0x300000001;
39868700:> 3:X1=0x2; 3:X3=0x200000002; x=0x100000001;
80887538:> 3:X1=0x2; 3:X3=0x200000002; x=0x200000002;
16600052:> 3:X1=0x2; 3:X3=0x200000002; x=0x300000001;
23575200:> 3:X1=0x2; 3:X3=0x200000002; x=0x300000002;
29450   :> 3:X1=0x2; 3:X3=0x300000001; x=0x300000001;
53716   :> 3:X1=0x2; 3:X3=0x300000002; x=0x100000001;
105075  :> 3:X1=0x2; 3:X3=0x300000002; x=0x300000002;
135233  :> 3:X1=0x3; 3:X3=0x100000001; x=0x100000001;
56962   :> 3:X1=0x3; 3:X3=0x100000001; x=0x200000002;
55250   :> 3:X1=0x3; 3:X3=0x200000002; x=0x100000001;
133094  :> 3:X1=0x3; 3:X3=0x200000002; x=0x200000002;
16832397:> 3:X1=0x3; 3:X3=0x300000000; x=0x100000001;
16956900:> 3:X1=0x3; 3:X3=0x300000000; x=0x200000002;
23698204:> 3:X1=0x3; 3:X3=0x300000001; x=0x200000002;
40483854:> 3:X1=0x3; 3:X3=0x300000001; x=0x300000001;
23304732:> 3:X1=0x3; 3:X3=0x300000002; x=0x100000001;
40459359:> 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 483.14

Test CO-MIXED-6-sep+reader Allow
Histogram (27 states)
18816096:> 3:X1=0x0; 3:X3=0x0; x=0x200000001;
41583668:> 3:X1=0x0; 3:X3=0x0; x=0x200000002;
39713254:> 3:X1=0x0; 3:X3=0x0; x=0x300000001;
20403517:> 3:X1=0x0; 3:X3=0x0; x=0x300000002;
54467   :> 3:X1=0x0; 3:X3=0x1; x=0x200000001;
18182466:> 3:X1=0x0; 3:X3=0x1; x=0x200000002;
245180  :> 3:X1=0x0; 3:X3=0x1; x=0x300000001;
17805823:> 3:X1=0x0; 3:X3=0x1; x=0x300000002;
112867  :> 3:X1=0x0; 3:X3=0x2; x=0x200000001;
140740  :> 3:X1=0x0; 3:X3=0x2; x=0x200000002;
1360983 :> 3:X1=0x0; 3:X3=0x2; x=0x300000001;
263365  :> 3:X1=0x0; 3:X3=0x2; x=0x300000002;
40113429:> 3:X1=0x2; 3:X3=0x1; x=0x200000001;
26900270:> 3:X1=0x2; 3:X3=0x1; x=0x300000001;
20612676:> 3:X1=0x2; 3:X3=0x2; x=0x200000001;
77656460:> 3:X1=0x2; 3:X3=0x2; x=0x200000002;
31737568:> 3:X1=0x2; 3:X3=0x2; x=0x300000001;
24431406:> 3:X1=0x2; 3:X3=0x2; x=0x300000002;
14752457:> 3:X1=0x3; 3:X3=0x0; x=0x200000001;
16495710:> 3:X1=0x3; 3:X3=0x0; x=0x200000002;
31883   :> 3:X1=0x3; 3:X3=0x1; x=0x200000001;
51008715:> 3:X1=0x3; 3:X3=0x1; x=0x200000002;
78862546:> 3:X1=0x3; 3:X3=0x1; x=0x300000001;
50581   :> 3:X1=0x3; 3:X3=0x2; x=0x200000001;
225136  :> 3:X1=0x3; 3:X3=0x2; x=0x200000002;
20506498:> 3:X1=0x3; 3:X3=0x2; x=0x300000001;
38032239:> 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 469.11

Test Co-mixed-1-uint64 Allow
Histogram (3 states)
605823854:> 1:X1=0x0; 1:X2=0x0;
3141290 :> 1:X1=0x0; 1:X2=0x1;
591234856:> 1:X1=0x1; 1:X2=0x1;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x1 /\ 1:X2=0x0) is not validated
Hash=5e1b07d82fa056e93fe830dea727fdd3
Time Co-mixed-1-uint64 199.99

Test IRIW-MIXED-1 Allow
Histogram (14 states)
87730253:> 1:X1=0x0; 3:X1=0x0;
24131416:> 1:X1=0x0; 3:X1=0x1;
21045732:> 1:X1=0x0; 3:X1=0x200000000;
58188267:> 1:X1=0x0; 3:X1=0x200000001;
24205229:> 1:X1=0x1; 3:X1=0x0;
38450037:> 1:X1=0x1; 3:X1=0x1;
21955289:> 1:X1=0x1; 3:X1=0x200000001;
21256776:> 1:X1=0x200000000; 3:X1=0x0;
33279938:> 1:X1=0x200000000; 3:X1=0x200000000;
22524730:> 1:X1=0x200000000; 3:X1=0x200000001;
60373580:> 1:X1=0x200000001; 3:X1=0x0;
22589346:> 1:X1=0x200000001; 3:X1=0x1;
24183604:> 1:X1=0x200000001; 3:X1=0x200000000;
140185803:> 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 315.12

Test MP+dmbsy+ldp-addr+BIS3 Allow
Histogram (3 states)
256291406:> 1:X1=0x0; 1:X2=0x0; 1:X4=0x0;
460822387:> 1:X1=0x0; 1:X2=0x0; 1:X4=0x1;
483086207:> 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 267.23

Test MP+dmbsy+misaligned2+0 Allow
Histogram (4 states)
501441291:> 1:X1=0x0; 1:X2=0x0;
539188616:> 1:X1=0x0; 1:X2=0x11;
343813  :> 1:X1=0x0; 1:X2=0x2211;
159226280:> 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 2228.20

Test MP+dmbsy+misaligned2+0x Allow
Histogram (4 states)
503646599:> 1:X1=0x0; 1:X2=0x0;
537703520:> 1:X1=0x0; 1:X2=0x1100;
349840  :> 1:X1=0x0; 1:X2=0x1122;
158500041:> 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 2399.04

Test MP+dmbsy+misaligned2+1 Allow
Histogram (4 states)
499987530:> 1:X1=0x0; 1:X2=0x0;
537761940:> 1:X1=0x0; 1:X2=0x11;
376528  :> 1:X1=0x0; 1:X2=0x2211;
162074002:> 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 2214.03

Test MP+dmbsy+misaligned2+127 Allow
Histogram (6 states)
386714330:> 1:X1=0x0; 1:X2=0x0;
108547728:> 1:X1=0x0; 1:X2=0x11;
8367    :> 1:X1=0x0; 1:X2=0x2200;
416281  :> 1:X1=0x0; 1:X2=0x2211;
1364    :> 1:X1=0x22; 1:X2=0x2200;
704511930:> 1:X1=0x22; 1:X2=0x2211;
Ok
Witnesses
Positive: 1364 Negative: 1200198636
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is validated
Hash=a59735188321e49a9a64212ab6192234
Time MP+dmbsy+misaligned2+127 11584.42

Test MP+dmbsy+misaligned2+127x Allow
Histogram (5 states)
238911346:> 1:X1=0x0; 1:X2=0x0;
249507955:> 1:X1=0x0; 1:X2=0x1100;
49533   :> 1:X1=0x0; 1:X2=0x1122;
3       :> 1:X1=0x0; 1:X2=0x22;
711731163:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=24852f1c0c8e31b96c31b97c179e8ab8
Time MP+dmbsy+misaligned2+127x 4471.47

Test MP+dmbsy+misaligned2+15 Allow
Histogram (5 states)
514560620:> 1:X1=0x0; 1:X2=0x0;
525323195:> 1:X1=0x0; 1:X2=0x11;
9431    :> 1:X1=0x0; 1:X2=0x2200;
330609  :> 1:X1=0x0; 1:X2=0x2211;
159976145:> 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 2231.45

Test MP+dmbsy+misaligned2+15x Allow
Histogram (4 states)
501146220:> 1:X1=0x0; 1:X2=0x0;
535190202:> 1:X1=0x0; 1:X2=0x1100;
531816  :> 1:X1=0x0; 1:X2=0x1122;
163331762:> 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 2396.55

Test MP+dmbsy+misaligned2+1x Allow
Histogram (4 states)
503610810:> 1:X1=0x0; 1:X2=0x0;
535969632:> 1:X1=0x0; 1:X2=0x1100;
348170  :> 1:X1=0x0; 1:X2=0x1122;
160271388:> 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 2389.48

Test MP+dmbsy+misaligned2+255 Allow
Histogram (6 states)
381298068:> 1:X1=0x0; 1:X2=0x0;
136075713:> 1:X1=0x0; 1:X2=0x11;
2645    :> 1:X1=0x0; 1:X2=0x2200;
202748  :> 1:X1=0x0; 1:X2=0x2211;
1378    :> 1:X1=0x22; 1:X2=0x2200;
682619448:> 1:X1=0x22; 1:X2=0x2211;
Ok
Witnesses
Positive: 1378 Negative: 1200198622
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is validated
Hash=c267f3496b72032f9a3129ddba831da7
Time MP+dmbsy+misaligned2+255 5429.86

Test MP+dmbsy+misaligned2+255x Allow
Histogram (5 states)
208468566:> 1:X1=0x0; 1:X2=0x0;
296680667:> 1:X1=0x0; 1:X2=0x1100;
40735   :> 1:X1=0x0; 1:X2=0x1122;
1       :> 1:X1=0x0; 1:X2=0x22;
695010031:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=092e7251bbf263d1509922e97b1a9b1a
Time MP+dmbsy+misaligned2+255x 5426.81

Test MP+dmbsy+misaligned2+3 Allow
Histogram (4 states)
501479054:> 1:X1=0x0; 1:X2=0x0;
538596683:> 1:X1=0x0; 1:X2=0x11;
367355  :> 1:X1=0x0; 1:X2=0x2211;
159756908:> 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 2239.10

Test MP+dmbsy+misaligned2+31 Allow
Histogram (5 states)
512531189:> 1:X1=0x0; 1:X2=0x0;
523887209:> 1:X1=0x0; 1:X2=0x11;
8966    :> 1:X1=0x0; 1:X2=0x2200;
546157  :> 1:X1=0x0; 1:X2=0x2211;
163226479:> 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 7635.44

Test MP+dmbsy+misaligned2+31x Allow
Histogram (4 states)
501125746:> 1:X1=0x0; 1:X2=0x0;
536306563:> 1:X1=0x0; 1:X2=0x1100;
313581  :> 1:X1=0x0; 1:X2=0x1122;
162454110:> 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 2359.42

Test MP+dmbsy+misaligned2+3x Allow
Histogram (4 states)
502921376:> 1:X1=0x0; 1:X2=0x0;
536538539:> 1:X1=0x0; 1:X2=0x1100;
348789  :> 1:X1=0x0; 1:X2=0x1122;
160391296:> 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 2381.05

Test MP+dmbsy+misaligned2+511 Allow
Histogram (6 states)
388345392:> 1:X1=0x0; 1:X2=0x0;
136902822:> 1:X1=0x0; 1:X2=0x11;
2796    :> 1:X1=0x0; 1:X2=0x2200;
201877  :> 1:X1=0x0; 1:X2=0x2211;
244     :> 1:X1=0x22; 1:X2=0x2200;
674746869:> 1:X1=0x22; 1:X2=0x2211;
Ok
Witnesses
Positive: 244 Negative: 1200199756
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is validated
Hash=0b06ec05a3755fe3e2aee03dea92c2b1
Time MP+dmbsy+misaligned2+511 9418.83

Test MP+dmbsy+misaligned2+511x Allow
Histogram (5 states)
139313519:> 1:X1=0x0; 1:X2=0x0;
375034487:> 1:X1=0x0; 1:X2=0x1100;
74567   :> 1:X1=0x0; 1:X2=0x1122;
2       :> 1:X1=0x0; 1:X2=0x22;
685777425:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 1200200000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=4b78c306c28ba869f417299ca856701e
Time MP+dmbsy+misaligned2+511x 9319.38

Test MP+dmbsy+misaligned2+63 Allow
Histogram (6 states)
387152504:> 1:X1=0x0; 1:X2=0x0;
144027430:> 1:X1=0x0; 1:X2=0x11;
1070    :> 1:X1=0x0; 1:X2=0x2200;
3549033 :> 1:X1=0x0; 1:X2=0x2211;
782297  :> 1:X1=0x22; 1:X2=0x2200;
664687666:> 1:X1=0x22; 1:X2=0x2211;
Ok
Witnesses
Positive: 782297 Negative: 1199417703
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is validated
Hash=fcb11e61926d435587f03a3399b1557e
Time MP+dmbsy+misaligned2+63 12534.84

Test MP+dmbsy+misaligned2+63x Allow
Histogram (5 states)
276514226:> 1:X1=0x0; 1:X2=0x0;
254626151:> 1:X1=0x0; 1:X2=0x1100;
751233  :> 1:X1=0x0; 1:X2=0x1122;
39      :> 1:X1=0x0; 1:X2=0x22;
668308351:> 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 2411.65

Test MP+dmbsy+misaligned2+7 Allow
Histogram (5 states)
499563775:> 1:X1=0x0; 1:X2=0x0;
541148516:> 1:X1=0x0; 1:X2=0x11;
7954    :> 1:X1=0x0; 1:X2=0x2200;
357948  :> 1:X1=0x0; 1:X2=0x2211;
159121807:> 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 2238.18

Test MP+dmbsy+misaligned2+7x Allow
Histogram (4 states)
502198137:> 1:X1=0x0; 1:X2=0x0;
538170378:> 1:X1=0x0; 1:X2=0x1100;
323180  :> 1:X1=0x0; 1:X2=0x1122;
159508305:> 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 2397.15

Test MP+misaligned2+0+addr Allow
Histogram (3 states)
404439201:> 1:X1=0x0; 1:X2=0x0;
4286619 :> 1:X1=0x0; 1:X2=0x22;
791474180:> 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 2331.87

Test MP+misaligned2+0x+addr Allow
Histogram (3 states)
403624256:> 1:X1=0x0; 1:X2=0x0;
4481499 :> 1:X1=0x0; 1:X2=0x11;
792094245:> 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 2377.77

Test MP+misaligned2+1+addr Allow
Histogram (3 states)
404455665:> 1:X1=0x0; 1:X2=0x0;
4309816 :> 1:X1=0x0; 1:X2=0x22;
791434519:> 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 2270.87

Test MP+misaligned2+127+addr Allow
Histogram (4 states)
9734266 :> 1:X1=0x0; 1:X2=0x0;
376150207:> 1:X1=0x0; 1:X2=0x22;
3555    :> 1:X1=0x11; 1:X2=0x0;
814311972:> 1:X1=0x11; 1:X2=0x22;
Ok
Witnesses
Positive: 3555 Negative: 1200196445
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is validated
Hash=e6b046cfd0bcd7409210e3c30dc4ebd3
Time MP+misaligned2+127+addr 3205.85

Test MP+misaligned2+127x+addr Allow
Histogram (4 states)
331547327:> 1:X1=0x0; 1:X2=0x0;
20389628:> 1:X1=0x0; 1:X2=0x11;
9055    :> 1:X1=0x22; 1:X2=0x0;
848253990:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 9055 Negative: 1200190945
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=0aa26414170423d5b5b23d3bc863199d
Time MP+misaligned2+127x+addr 3444.37

Test MP+misaligned2+15+addr Allow
Histogram (4 states)
423400990:> 1:X1=0x0; 1:X2=0x0;
5072360 :> 1:X1=0x0; 1:X2=0x22;
70      :> 1:X1=0x11; 1:X2=0x0;
771726580:> 1:X1=0x11; 1:X2=0x22;
Ok
Witnesses
Positive: 70 Negative: 1200199930
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is validated
Hash=0322054f98e0b6bf6cc8ad64eed847c5
Time MP+misaligned2+15+addr 11017.31

Test MP+misaligned2+15x+addr Allow
Histogram (4 states)
409933195:> 1:X1=0x0; 1:X2=0x0;
4638748 :> 1:X1=0x0; 1:X2=0x11;
469392  :> 1:X1=0x22; 1:X2=0x0;
785158665:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 469392 Negative: 1199730608
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=e0a74bb1124f8c1245e740fcf10c58db
Time MP+misaligned2+15x+addr 2368.75

Test MP+misaligned2+1x+addr Allow
Histogram (3 states)
407651686:> 1:X1=0x0; 1:X2=0x0;
4423328 :> 1:X1=0x0; 1:X2=0x11;
788124986:> 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 2344.11

Test MP+misaligned2+255+addr Allow
Histogram (4 states)
11295674:> 1:X1=0x0; 1:X2=0x0;
447824610:> 1:X1=0x0; 1:X2=0x22;
2302    :> 1:X1=0x11; 1:X2=0x0;
741077414:> 1:X1=0x11; 1:X2=0x22;
Ok
Witnesses
Positive: 2302 Negative: 1200197698
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is validated
Hash=a5c4b24c204e5d84c8045d870f09a5b4
Time MP+misaligned2+255+addr 5372.75

Test MP+misaligned2+255x+addr Allow
Histogram (4 states)
332390471:> 1:X1=0x0; 1:X2=0x0;
19572582:> 1:X1=0x0; 1:X2=0x11;
7966    :> 1:X1=0x22; 1:X2=0x0;
848228981:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 7966 Negative: 1200192034
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=b07522165a2220af4050b5d4ce10b2af
Time MP+misaligned2+255x+addr 5398.69

Test MP+misaligned2+3+addr Allow
Histogram (3 states)
403687210:> 1:X1=0x0; 1:X2=0x0;
4530060 :> 1:X1=0x0; 1:X2=0x22;
791982730:> 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 2205.38

Test MP+misaligned2+31+addr Allow
Histogram (4 states)
427041448:> 1:X1=0x0; 1:X2=0x0;
5159631 :> 1:X1=0x0; 1:X2=0x22;
59      :> 1:X1=0x11; 1:X2=0x0;
767998862:> 1:X1=0x11; 1:X2=0x22;
Ok
Witnesses
Positive: 59 Negative: 1200199941
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is validated
Hash=d9d237f1dcf6adcc7c1fec5cb022c452
Time MP+misaligned2+31+addr 10804.53

Test MP+misaligned2+31x+addr Allow
Histogram (4 states)
415395872:> 1:X1=0x0; 1:X2=0x0;
4787768 :> 1:X1=0x0; 1:X2=0x11;
393384  :> 1:X1=0x22; 1:X2=0x0;
779622976:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 393384 Negative: 1199806616
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=a8849322e6f9ce21b0006a30f6e0c8ae
Time MP+misaligned2+31x+addr 2351.33

Test MP+misaligned2+3x+addr Allow
Histogram (3 states)
403155446:> 1:X1=0x0; 1:X2=0x0;
4332320 :> 1:X1=0x0; 1:X2=0x11;
792712234:> 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 2349.51

Test MP+misaligned2+511+addr Allow
Histogram (4 states)
10611333:> 1:X1=0x0; 1:X2=0x0;
387563021:> 1:X1=0x0; 1:X2=0x22;
545     :> 1:X1=0x11; 1:X2=0x0;
802025101:> 1:X1=0x11; 1:X2=0x22;
Ok
Witnesses
Positive: 545 Negative: 1200199455
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is validated
Hash=c6a8085ab481397e8a6eb49116d34aab
Time MP+misaligned2+511+addr 9317.95

Test MP+misaligned2+511x+addr Allow
Histogram (4 states)
336526183:> 1:X1=0x0; 1:X2=0x0;
19877137:> 1:X1=0x0; 1:X2=0x11;
4431    :> 1:X1=0x22; 1:X2=0x0;
843792249:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 4431 Negative: 1200195569
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=e1dae19dd74c3c105abbd88c6402be2e
Time MP+misaligned2+511x+addr 9392.02

Test MP+misaligned2+63+addr Allow
Histogram (4 states)
108907282:> 1:X1=0x0; 1:X2=0x0;
325697811:> 1:X1=0x0; 1:X2=0x22;
6802643 :> 1:X1=0x11; 1:X2=0x0;
758792264:> 1:X1=0x11; 1:X2=0x22;
Ok
Witnesses
Positive: 6802643 Negative: 1193397357
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is validated
Hash=765e0ee40721cddfedcb808c8826ec85
Time MP+misaligned2+63+addr 5724.26

Test MP+misaligned2+63x+addr Allow
Histogram (4 states)
342774920:> 1:X1=0x0; 1:X2=0x0;
36835235:> 1:X1=0x0; 1:X2=0x11;
8295217 :> 1:X1=0x22; 1:X2=0x0;
812294628:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 8295217 Negative: 1191904783
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=db0d4444a5a370d709011c21b70ea136
Time MP+misaligned2+63x+addr 2411.61

Test MP+misaligned2+7+addr Allow
Histogram (3 states)
405545736:> 1:X1=0x0; 1:X2=0x0;
4363199 :> 1:X1=0x0; 1:X2=0x22;
790291065:> 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 3879.42

Test MP+misaligned2+7x+addr Allow
Histogram (3 states)
405019040:> 1:X1=0x0; 1:X2=0x0;
4439939 :> 1:X1=0x0; 1:X2=0x11;
790741021:> 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 2347.08

Test MP+stp+addr+60 Allow
Histogram (4 states)
102214976:> 1:X1=0x0; 1:X2=0x0;
310823777:> 1:X1=0x0; 1:X2=0x1;
6628429 :> 1:X1=0x2; 1:X2=0x0;
780532818:> 1:X1=0x2; 1:X2=0x1;
Ok
Witnesses
Positive: 6628429 Negative: 1193571571
Condition exists (1:X1=0x2 /\ 1:X2=0x0) is validated
Hash=9f9ddfb902397817160e1f77f5d6678b
Time MP+stp+addr+60 522.12

Test MP+str+ldp Allow
Histogram (2 states)
614229141:> 1:X20=0x0; 1:X21=0x0;
585970859:> 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 189.59

Test PPOCA-MIXED-1 Allow
Histogram (4 states)
206013626:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x0;
468480096:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x1;
27267   :> 1:X0=0x1; 1:X4=0x1; 1:X6=0x0;
525679011:> 1:X0=0x1; 1:X4=0x1; 1:X6=0x1;
Ok
Witnesses
Positive: 27267 Negative: 1200172733
Condition exists (1:X0=0x1 /\ 1:X4=0x1 /\ 1:X6=0x0) is validated
Hash=5ef96648c55aa7f6aeb32f27f7f149e9
Time PPOCA-MIXED-1 262.96

Test PPOCA-MIXED-2 Allow
Histogram (4 states)
195616598:> 1:X0=0x0; 1:X4=0x201; 1:X6=0x0;
487459561:> 1:X0=0x0; 1:X4=0x201; 1:X6=0x1;
45936   :> 1:X0=0x1; 1:X4=0x201; 1:X6=0x0;
517077905:> 1:X0=0x1; 1:X4=0x201; 1:X6=0x1;
Ok
Witnesses
Positive: 45936 Negative: 1200154064
Condition exists (1:X0=0x1 /\ 1:X4=0x201 /\ 1:X6=0x0) is validated
Hash=ffa093294cb3e793f7827ff4486e9a09
Time PPOCA-MIXED-2 254.86

Test PPOCA-MIXED-3 Allow
Histogram (4 states)
200274413:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x0;
484690980:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x1;
36654   :> 1:X0=0x1; 1:X4=0x1; 1:X6=0x0;
515197953:> 1:X0=0x1; 1:X4=0x1; 1:X6=0x1;
Ok
Witnesses
Positive: 36654 Negative: 1200163346
Condition exists (1:X0=0x1 /\ 1:X4=0x1 /\ 1:X6=0x0) is validated
Hash=c3aa7d2550487cf57ec50800891d7e8a
Time PPOCA-MIXED-3 254.03

