Test CO-MIXED-1 Allow
Histogram (4 states)
268663231:> 1:X1=0x0; 1:X2=0x0;
64955   :> 1:X1=0x0; 1:X2=0x1;
21446   :> 1:X1=0x1; 1:X2=0x0;
261450368:> 1:X1=0x1; 1:X2=0x1;
Ok
Witnesses
Positive: 21446 Negative: 530178554
Condition exists (1:X1=0x1 /\ 1:X2=0x0) is validated
Hash=5e1b07d82fa056e93fe830dea727fdd3
Time CO-MIXED-1 39.76

Test CO-MIXED-1b Allow
Histogram (3 states)
268998842:> 1:X1=0x0; x=0x200000001;
32003   :> 1:X1=0x1; x=0x200000001;
261169155:> 1:X1=0x200000001; x=0x200000001;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (x=0x200000001 /\ 1:X1=0x200000000) is not validated
Hash=a45f46e49ca38dc1dcd4727c5f94d4f9
Time CO-MIXED-1b 42.72

Test CO-MIXED-20cc Allow
Histogram (4 states)
4791735 :> 0:X2=0x11111111; x=0x2222222211111111;
253662663:> 0:X2=0x11111111; x=0x2222222222222222;
251743624:> 0:X2=0x2222222211111111; x=0x2222222211111111;
1978    :> 0:X2=0x2222222222222222; x=0x2222222222222222;
No
Witnesses
Positive: 0 Negative: 510200000
Condition exists (x=0x2222222222222222 /\ 0:X2=0x2222222211111111) is not validated
Hash=1577e0e9a162146c527f70522de0c1ea
Time CO-MIXED-20cc 45.59

Test CO-MIXED-6 Allow
Histogram (3 states)
12658   :> x=0x100000002;
255055127:> x=0x100000003;
255132215:> x=0x200000002;
No
Witnesses
Positive: 0 Negative: 510200000
Condition exists (x=0x200000003) is not validated
Hash=c809e1965f85fcc54a956876cfebbdb6
Time CO-MIXED-6 43.26

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

Test MP+dmbsy+misaligned2+0 Allow
Histogram (4 states)
267518272:> 1:X1=0x0; 1:X2=0x0;
1920723 :> 1:X1=0x0; 1:X2=0x11;
1644    :> 1:X1=0x0; 1:X2=0x2211;
260759361:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=ce4ffcaeb8e40a6780e2eb184c9498f4
Time MP+dmbsy+misaligned2+0 949.84

Test MP+dmbsy+misaligned2+0x Allow
Histogram (4 states)
267515052:> 1:X1=0x0; 1:X2=0x0;
1737894 :> 1:X1=0x0; 1:X2=0x1100;
1654    :> 1:X1=0x0; 1:X2=0x1122;
260945400:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=9ba4ac30b88326673f13c083008f51d5
Time MP+dmbsy+misaligned2+0x 966.33

Test MP+dmbsy+misaligned2+1 Allow
Histogram (4 states)
267557518:> 1:X1=0x0; 1:X2=0x0;
1852895 :> 1:X1=0x0; 1:X2=0x11;
1619    :> 1:X1=0x0; 1:X2=0x2211;
260787968:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=fc5c2d3948cb73eabcb79b4ee840ecaa
Time MP+dmbsy+misaligned2+1 961.31

Test MP+dmbsy+misaligned2+127 Allow
Histogram (6 states)
266830811:> 1:X1=0x0; 1:X2=0x0;
94151109:> 1:X1=0x0; 1:X2=0x11;
3579    :> 1:X1=0x0; 1:X2=0x2200;
93130237:> 1:X1=0x0; 1:X2=0x2211;
33      :> 1:X1=0x22; 1:X2=0x2200;
76084231:> 1:X1=0x22; 1:X2=0x2211;
Ok
Witnesses
Positive: 33 Negative: 530199967
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is validated
Hash=a59735188321e49a9a64212ab6192234
Time MP+dmbsy+misaligned2+127 1871.34

Test MP+dmbsy+misaligned2+127x Allow
Histogram (5 states)
243636125:> 1:X1=0x0; 1:X2=0x0;
199586033:> 1:X1=0x0; 1:X2=0x1100;
1970798 :> 1:X1=0x0; 1:X2=0x1122;
180     :> 1:X1=0x0; 1:X2=0x22;
65006864:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 510200000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=24852f1c0c8e31b96c31b97c179e8ab8
Time MP+dmbsy+misaligned2+127x 1799.09

Test MP+dmbsy+misaligned2+15 Allow
Histogram (4 states)
267383280:> 1:X1=0x0; 1:X2=0x0;
1756855 :> 1:X1=0x0; 1:X2=0x11;
1443    :> 1:X1=0x0; 1:X2=0x2211;
261058422:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=5e50731124ce3e7fec9e599327f631eb
Time MP+dmbsy+misaligned2+15 976.56

Test MP+dmbsy+misaligned2+15x Allow
Histogram (4 states)
262706059:> 1:X1=0x0; 1:X2=0x0;
1631508 :> 1:X1=0x0; 1:X2=0x1100;
1907    :> 1:X1=0x0; 1:X2=0x1122;
255860526:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 520200000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=df5b7bf3bc5702da1726b529e7659040
Time MP+dmbsy+misaligned2+15x 938.51

Test MP+dmbsy+misaligned2+1x Allow
Histogram (4 states)
267589266:> 1:X1=0x0; 1:X2=0x0;
1644454 :> 1:X1=0x0; 1:X2=0x1100;
1120    :> 1:X1=0x0; 1:X2=0x1122;
260965160:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=d029af8b48208b7505d59468a2e815e4
Time MP+dmbsy+misaligned2+1x 968.53

Test MP+dmbsy+misaligned2+255 Allow
Histogram (6 states)
264789397:> 1:X1=0x0; 1:X2=0x0;
136965037:> 1:X1=0x0; 1:X2=0x11;
1077    :> 1:X1=0x0; 1:X2=0x2200;
54770509:> 1:X1=0x0; 1:X2=0x2211;
32      :> 1:X1=0x22; 1:X2=0x2200;
73673948:> 1:X1=0x22; 1:X2=0x2211;
Ok
Witnesses
Positive: 32 Negative: 530199968
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is validated
Hash=c267f3496b72032f9a3129ddba831da7
Time MP+dmbsy+misaligned2+255 2323.73

Test MP+dmbsy+misaligned2+255x Allow
Histogram (5 states)
247452814:> 1:X1=0x0; 1:X2=0x0;
196737088:> 1:X1=0x0; 1:X2=0x1100;
1488820 :> 1:X1=0x0; 1:X2=0x1122;
12      :> 1:X1=0x0; 1:X2=0x22;
64521266:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 510200000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=092e7251bbf263d1509922e97b1a9b1a
Time MP+dmbsy+misaligned2+255x 2263.42

Test MP+dmbsy+misaligned2+3 Allow
Histogram (4 states)
267586749:> 1:X1=0x0; 1:X2=0x0;
1926422 :> 1:X1=0x0; 1:X2=0x11;
1495    :> 1:X1=0x0; 1:X2=0x2211;
260685334:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=b9be1369360061fed6ab4ef15e5a112c
Time MP+dmbsy+misaligned2+3 972.81

Test MP+dmbsy+misaligned2+31 Allow
Histogram (4 states)
267477737:> 1:X1=0x0; 1:X2=0x0;
1689519 :> 1:X1=0x0; 1:X2=0x11;
753     :> 1:X1=0x0; 1:X2=0x2211;
261031991:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=c2f2027a9567486453936174b509715f
Time MP+dmbsy+misaligned2+31 968.63

Test MP+dmbsy+misaligned2+31x Allow
Histogram (4 states)
262533421:> 1:X1=0x0; 1:X2=0x0;
1511749 :> 1:X1=0x0; 1:X2=0x1100;
963     :> 1:X1=0x0; 1:X2=0x1122;
256153867:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 520200000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=4fe8628486a12b59aee309d6f85c3619
Time MP+dmbsy+misaligned2+31x 945.74

Test MP+dmbsy+misaligned2+3x Allow
Histogram (4 states)
267587328:> 1:X1=0x0; 1:X2=0x0;
1947025 :> 1:X1=0x0; 1:X2=0x1100;
1051    :> 1:X1=0x0; 1:X2=0x1122;
260664596:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=8c540fdd18640c6a74d1aa267f9b89d8
Time MP+dmbsy+misaligned2+3x 962.09

Test MP+dmbsy+misaligned2+511 Allow
Histogram (6 states)
264788334:> 1:X1=0x0; 1:X2=0x0;
149783603:> 1:X1=0x0; 1:X2=0x11;
1406    :> 1:X1=0x0; 1:X2=0x2200;
64175564:> 1:X1=0x0; 1:X2=0x2211;
38      :> 1:X1=0x22; 1:X2=0x2200;
51451055:> 1:X1=0x22; 1:X2=0x2211;
Ok
Witnesses
Positive: 38 Negative: 530199962
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is validated
Hash=0b06ec05a3755fe3e2aee03dea92c2b1
Time MP+dmbsy+misaligned2+511 4088.89

Test MP+dmbsy+misaligned2+511x Allow
Histogram (5 states)
244360013:> 1:X1=0x0; 1:X2=0x0;
221767687:> 1:X1=0x0; 1:X2=0x1100;
758860  :> 1:X1=0x0; 1:X2=0x1122;
11      :> 1:X1=0x0; 1:X2=0x22;
43313429:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 510200000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=4b78c306c28ba869f417299ca856701e
Time MP+dmbsy+misaligned2+511x 3965.82

Test MP+dmbsy+misaligned2+63 Allow
Histogram (6 states)
266490956:> 1:X1=0x0; 1:X2=0x0;
125952995:> 1:X1=0x0; 1:X2=0x11;
856     :> 1:X1=0x0; 1:X2=0x2200;
915753  :> 1:X1=0x0; 1:X2=0x2211;
30      :> 1:X1=0x22; 1:X2=0x2200;
136839410:> 1:X1=0x22; 1:X2=0x2211;
Ok
Witnesses
Positive: 30 Negative: 530199970
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is validated
Hash=fcb11e61926d435587f03a3399b1557e
Time MP+dmbsy+misaligned2+63 972.92

Test MP+dmbsy+misaligned2+63x Allow
Histogram (6 states)
246747195:> 1:X1=0x0; 1:X2=0x0;
135336271:> 1:X1=0x0; 1:X2=0x1100;
6214293 :> 1:X1=0x0; 1:X2=0x1122;
35      :> 1:X1=0x0; 1:X2=0x22;
121902205:> 1:X1=0x22; 1:X2=0x1122;
1       :> 1:X1=0x22; 1:X2=0x22;
Ok
Witnesses
Positive: 1 Negative: 510199999
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is validated
Hash=fa0da4c0af1ecd49543bc1bf215b049a
Time MP+dmbsy+misaligned2+63x 931.68

Test MP+dmbsy+misaligned2+7 Allow
Histogram (4 states)
267473232:> 1:X1=0x0; 1:X2=0x0;
1759234 :> 1:X1=0x0; 1:X2=0x11;
1392    :> 1:X1=0x0; 1:X2=0x2211;
260966142:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=13b8f5bc22f404bacc3633f87baa06da
Time MP+dmbsy+misaligned2+7 978.71

Test MP+dmbsy+misaligned2+7x Allow
Histogram (4 states)
262526894:> 1:X1=0x0; 1:X2=0x0;
1766460 :> 1:X1=0x0; 1:X2=0x1100;
1473    :> 1:X1=0x0; 1:X2=0x1122;
255905173:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 520200000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=ecc9e346edae3cfb15946a977a8430ef
Time MP+dmbsy+misaligned2+7x 938.40

Test MP+misaligned2+0+addr Allow
Histogram (3 states)
268716969:> 1:X1=0x0; 1:X2=0x0;
276780  :> 1:X1=0x0; 1:X2=0x22;
261206251:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=a5d0267561267bf82b2450298865e61e
Time MP+misaligned2+0+addr 894.04

Test MP+misaligned2+0x+addr Allow
Histogram (3 states)
268662871:> 1:X1=0x0; 1:X2=0x0;
276303  :> 1:X1=0x0; 1:X2=0x11;
261260826:> 1:X1=0x22; 1:X2=0x11;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is not validated
Hash=16031e477468b2ed2729eaf6f557be25
Time MP+misaligned2+0x+addr 954.21

Test MP+misaligned2+1+addr Allow
Histogram (3 states)
268809968:> 1:X1=0x0; 1:X2=0x0;
291451  :> 1:X1=0x0; 1:X2=0x22;
261098581:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=b024324906fe7a1106a8101eee38e28e
Time MP+misaligned2+1+addr 902.89

Test MP+misaligned2+127+addr Allow
Histogram (4 states)
238018742:> 1:X1=0x0; 1:X2=0x0;
44012456:> 1:X1=0x0; 1:X2=0x22;
808     :> 1:X1=0x11; 1:X2=0x0;
248167994:> 1:X1=0x11; 1:X2=0x22;
Ok
Witnesses
Positive: 808 Negative: 530199192
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is validated
Hash=e6b046cfd0bcd7409210e3c30dc4ebd3
Time MP+misaligned2+127+addr 1387.45

Test MP+misaligned2+127x+addr Allow
Histogram (4 states)
253643545:> 1:X1=0x0; 1:X2=0x0;
16588010:> 1:X1=0x0; 1:X2=0x11;
3958064 :> 1:X1=0x22; 1:X2=0x0;
256010381:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 3958064 Negative: 526241936
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=0aa26414170423d5b5b23d3bc863199d
Time MP+misaligned2+127x+addr 1395.00

Test MP+misaligned2+15+addr Allow
Histogram (3 states)
270264496:> 1:X1=0x0; 1:X2=0x0;
458765  :> 1:X1=0x0; 1:X2=0x22;
259476739:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=0322054f98e0b6bf6cc8ad64eed847c5
Time MP+misaligned2+15+addr 965.18

Test MP+misaligned2+15x+addr Allow
Histogram (3 states)
270473888:> 1:X1=0x0; 1:X2=0x0;
493078  :> 1:X1=0x0; 1:X2=0x11;
259233034:> 1:X1=0x22; 1:X2=0x11;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is not validated
Hash=e0a74bb1124f8c1245e740fcf10c58db
Time MP+misaligned2+15x+addr 935.79

Test MP+misaligned2+1x+addr Allow
Histogram (3 states)
268604764:> 1:X1=0x0; 1:X2=0x0;
267398  :> 1:X1=0x0; 1:X2=0x11;
261327838:> 1:X1=0x22; 1:X2=0x11;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is not validated
Hash=50c345fdbc0e0f65861b0b63ff1c06bb
Time MP+misaligned2+1x+addr 960.95

Test MP+misaligned2+255+addr Allow
Histogram (4 states)
216664206:> 1:X1=0x0; 1:X2=0x0;
65178141:> 1:X1=0x0; 1:X2=0x22;
963     :> 1:X1=0x11; 1:X2=0x0;
248356690:> 1:X1=0x11; 1:X2=0x22;
Ok
Witnesses
Positive: 963 Negative: 530199037
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is validated
Hash=a5c4b24c204e5d84c8045d870f09a5b4
Time MP+misaligned2+255+addr 2318.09

Test MP+misaligned2+255x+addr Allow
Histogram (4 states)
225779489:> 1:X1=0x0; 1:X2=0x0;
44431106:> 1:X1=0x0; 1:X2=0x11;
3613807 :> 1:X1=0x22; 1:X2=0x0;
256375598:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 3613807 Negative: 526586193
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=b07522165a2220af4050b5d4ce10b2af
Time MP+misaligned2+255x+addr 2318.40

Test MP+misaligned2+3+addr Allow
Histogram (3 states)
268677680:> 1:X1=0x0; 1:X2=0x0;
276887  :> 1:X1=0x0; 1:X2=0x22;
261245433:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=7b47d2cb757da67b5b9747d9ab73a161
Time MP+misaligned2+3+addr 940.43

Test MP+misaligned2+31+addr Allow
Histogram (3 states)
270794780:> 1:X1=0x0; 1:X2=0x0;
508047  :> 1:X1=0x0; 1:X2=0x22;
258897173:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=d9d237f1dcf6adcc7c1fec5cb022c452
Time MP+misaligned2+31+addr 945.75

Test MP+misaligned2+31x+addr Allow
Histogram (3 states)
270459674:> 1:X1=0x0; 1:X2=0x0;
488941  :> 1:X1=0x0; 1:X2=0x11;
259251385:> 1:X1=0x22; 1:X2=0x11;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is not validated
Hash=a8849322e6f9ce21b0006a30f6e0c8ae
Time MP+misaligned2+31x+addr 942.13

Test MP+misaligned2+3x+addr Allow
Histogram (3 states)
273007298:> 1:X1=0x0; 1:X2=0x0;
319520  :> 1:X1=0x0; 1:X2=0x11;
256873182:> 1:X1=0x22; 1:X2=0x11;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is not validated
Hash=685cc003781b6611aeea5a89854f4d12
Time MP+misaligned2+3x+addr 963.45

Test MP+misaligned2+511+addr Allow
Histogram (4 states)
205361074:> 1:X1=0x0; 1:X2=0x0;
74503738:> 1:X1=0x0; 1:X2=0x22;
1734    :> 1:X1=0x11; 1:X2=0x0;
250333454:> 1:X1=0x11; 1:X2=0x22;
Ok
Witnesses
Positive: 1734 Negative: 530198266
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is validated
Hash=c6a8085ab481397e8a6eb49116d34aab
Time MP+misaligned2+511+addr 4143.22

Test MP+misaligned2+511x+addr Allow
Histogram (4 states)
210560671:> 1:X1=0x0; 1:X2=0x0;
58941754:> 1:X1=0x0; 1:X2=0x11;
2525362 :> 1:X1=0x22; 1:X2=0x0;
258172213:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 2525362 Negative: 527674638
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=e1dae19dd74c3c105abbd88c6402be2e
Time MP+misaligned2+511x+addr 4108.99

Test MP+misaligned2+63+addr Allow
Histogram (4 states)
251697737:> 1:X1=0x0; 1:X2=0x0;
42298854:> 1:X1=0x0; 1:X2=0x22;
3451    :> 1:X1=0x11; 1:X2=0x0;
236199958:> 1:X1=0x11; 1:X2=0x22;
Ok
Witnesses
Positive: 3451 Negative: 530196549
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is validated
Hash=765e0ee40721cddfedcb808c8826ec85
Time MP+misaligned2+63+addr 942.88

Test MP+misaligned2+63x+addr Allow
Histogram (4 states)
260672300:> 1:X1=0x0; 1:X2=0x0;
11669337:> 1:X1=0x0; 1:X2=0x11;
11103801:> 1:X1=0x22; 1:X2=0x0;
246754562:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 11103801 Negative: 519096199
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=db0d4444a5a370d709011c21b70ea136
Time MP+misaligned2+63x+addr 946.44

Test MP+misaligned2+7+addr Allow
Histogram (3 states)
268382203:> 1:X1=0x0; 1:X2=0x0;
257997  :> 1:X1=0x0; 1:X2=0x22;
261559800:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=8297b24137994b82a1cf2da7629268f9
Time MP+misaligned2+7+addr 970.57

Test MP+misaligned2+7x+addr Allow
Histogram (3 states)
268512251:> 1:X1=0x0; 1:X2=0x0;
245195  :> 1:X1=0x0; 1:X2=0x11;
261442554:> 1:X1=0x22; 1:X2=0x11;
No
Witnesses
Positive: 0 Negative: 530200000
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is not validated
Hash=8a866b98b162cad880c5bd260f7fa2bb
Time MP+misaligned2+7x+addr 944.64

Test MP+stp+addr+60 Allow
Histogram (4 states)
246059186:> 1:X1=0x0; 1:X2=0x0;
30237876:> 1:X1=0x0; 1:X2=0x1;
1605    :> 1:X1=0x2; 1:X2=0x0;
233901333:> 1:X1=0x2; 1:X2=0x1;
Ok
Witnesses
Positive: 1605 Negative: 510198395
Condition exists (1:X1=0x2 /\ 1:X2=0x0) is validated
Hash=9f9ddfb902397817160e1f77f5d6678b
Time MP+stp+addr+60 166.93

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

Test PPOCA-MIXED-1 Allow
Histogram (4 states)
255042751:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x0;
11052647:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x1;
5884    :> 1:X0=0x1; 1:X4=0x1; 1:X6=0x0;
244098718:> 1:X0=0x1; 1:X4=0x1; 1:X6=0x1;
Ok
Witnesses
Positive: 5884 Negative: 510194116
Condition exists (1:X0=0x1 /\ 1:X4=0x1 /\ 1:X6=0x0) is validated
Hash=5ef96648c55aa7f6aeb32f27f7f149e9
Time PPOCA-MIXED-1 86.55

Test PPOCA-MIXED-2 Allow
Histogram (4 states)
255713121:> 1:X0=0x0; 1:X4=0x201; 1:X6=0x0;
11206362:> 1:X0=0x0; 1:X4=0x201; 1:X6=0x1;
13482   :> 1:X0=0x1; 1:X4=0x201; 1:X6=0x0;
243267035:> 1:X0=0x1; 1:X4=0x201; 1:X6=0x1;
Ok
Witnesses
Positive: 13482 Negative: 510186518
Condition exists (1:X0=0x1 /\ 1:X4=0x201 /\ 1:X6=0x0) is validated
Hash=ffa093294cb3e793f7827ff4486e9a09
Time PPOCA-MIXED-2 84.83

Test PPOCA-MIXED-3 Allow
Histogram (4 states)
255218150:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x0;
11683490:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x1;
17541   :> 1:X0=0x1; 1:X4=0x1; 1:X6=0x0;
243280819:> 1:X0=0x1; 1:X4=0x1; 1:X6=0x1;
Ok
Witnesses
Positive: 17541 Negative: 510182459
Condition exists (1:X0=0x1 /\ 1:X4=0x1 /\ 1:X6=0x0) is validated
Hash=c3aa7d2550487cf57ec50800891d7e8a
Time PPOCA-MIXED-3 83.93

