Test CO-MIXED-1b Allow
Histogram (3 states)
303276932:> 1:X1=0x0; x=0x200000001;
16696   :> 1:X1=0x1; x=0x200000001;
296806372:> 1:X1=0x200000001; x=0x200000001;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (x=0x200000001 /\ 1:X1=0x200000000) is not validated
Hash=a45f46e49ca38dc1dcd4727c5f94d4f9
Time CO-MIXED-1b 72.85

Test CO-MIXED-20cc Allow
Histogram (4 states)
1989879 :> 0:X2=0x11111111; x=0x2222222211111111;
299725809:> 0:X2=0x11111111; x=0x2222222222222222;
298384253:> 0:X2=0x2222222211111111; x=0x2222222211111111;
59      :> 0:X2=0x2222222222222222; x=0x2222222222222222;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (x=0x2222222222222222 /\ 0:X2=0x2222222211111111) is not validated
Hash=1577e0e9a162146c527f70522de0c1ea
Time CO-MIXED-20cc 75.88

Test CO-MIXED-2b Allow
Histogram (12 states)
102778007:> 2:X1=0x0; 2:X2=0x0; x=0x100000001;
102455107:> 2:X1=0x0; 2:X2=0x0; x=0x100000002;
1191    :> 2:X1=0x0; 2:X2=0x100000001; x=0x100000001;
2845    :> 2:X1=0x0; 2:X2=0x100000001; x=0x100000002;
1230    :> 2:X1=0x0; 2:X2=0x100000002; x=0x100000002;
3004    :> 2:X1=0x0; 2:X2=0x2; x=0x100000001;
102545825:> 2:X1=0x100000001; 2:X2=0x100000001; x=0x100000001;
94501550:> 2:X1=0x100000001; 2:X2=0x100000001; x=0x100000002;
22628   :> 2:X1=0x100000001; 2:X2=0x100000002; x=0x100000002;
102938447:> 2:X1=0x100000002; 2:X2=0x100000002; x=0x100000002;
22075   :> 2:X1=0x2; 2:X2=0x100000001; x=0x100000001;
94828091:> 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 129.68

Test CO-MIXED-2b-dmbsy Allow
Histogram (12 states)
98133457:> 2:X1=0x0; 2:X2=0x0; x=0x100000001;
99353697:> 2:X1=0x0; 2:X2=0x0; x=0x100000002;
3989500 :> 2:X1=0x0; 2:X2=0x100000001; x=0x100000001;
2291552 :> 2:X1=0x0; 2:X2=0x100000001; x=0x100000002;
4427892 :> 2:X1=0x0; 2:X2=0x100000002; x=0x100000002;
2112016 :> 2:X1=0x0; 2:X2=0x2; x=0x100000001;
119974387:> 2:X1=0x100000001; 2:X2=0x100000001; x=0x100000001;
66832478:> 2:X1=0x100000001; 2:X2=0x100000001; x=0x100000002;
6834751 :> 2:X1=0x100000001; 2:X2=0x100000002; x=0x100000002;
120962644:> 2:X1=0x100000002; 2:X2=0x100000002; x=0x100000002;
6291054 :> 2:X1=0x2; 2:X2=0x100000001; x=0x100000001;
68896572:> 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 137.75

Test CO-MIXED-6 Allow
Histogram (3 states)
7164    :> x=0x100000002;
299987586:> x=0x100000003;
300105250:> x=0x200000002;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (x=0x200000003) is not validated
Hash=c809e1965f85fcc54a956876cfebbdb6
Time CO-MIXED-6 67.49

Test Co-mixed-1-uint64 Allow
Histogram (4 states)
302438136:> 1:X1=0x0; 1:X2=0x0;
7199    :> 1:X1=0x0; 1:X2=0x1;
3160    :> 1:X1=0x1; 1:X2=0x0;
297651505:> 1:X1=0x1; 1:X2=0x1;
Ok
Witnesses
Positive: 3160 Negative: 600096840
Condition exists (1:X1=0x1 /\ 1:X2=0x0) is validated
Hash=5e1b07d82fa056e93fe830dea727fdd3
Time Co-mixed-1-uint64 68.93

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

Test MP+dmbsy+misaligned2+0 Allow
Histogram (4 states)
306465432:> 1:X1=0x0; 1:X2=0x0;
84072644:> 1:X1=0x0; 1:X2=0x11;
4463    :> 1:X1=0x0; 1:X2=0x2211;
209557461:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=ce4ffcaeb8e40a6780e2eb184c9498f4
Time MP+dmbsy+misaligned2+0 1242.30

Test MP+dmbsy+misaligned2+0x Allow
Histogram (4 states)
305087252:> 1:X1=0x0; 1:X2=0x0;
84640731:> 1:X1=0x0; 1:X2=0x1100;
5246    :> 1:X1=0x0; 1:X2=0x1122;
210366771:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=9ba4ac30b88326673f13c083008f51d5
Time MP+dmbsy+misaligned2+0x 1173.44

Test MP+dmbsy+misaligned2+1 Allow
Histogram (4 states)
305617302:> 1:X1=0x0; 1:X2=0x0;
83804274:> 1:X1=0x0; 1:X2=0x11;
3830    :> 1:X1=0x0; 1:X2=0x2211;
210674594:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=fc5c2d3948cb73eabcb79b4ee840ecaa
Time MP+dmbsy+misaligned2+1 1243.55

Test MP+dmbsy+misaligned2+127 Allow
Histogram (6 states)
304472316:> 1:X1=0x0; 1:X2=0x0;
121072293:> 1:X1=0x0; 1:X2=0x11;
7       :> 1:X1=0x0; 1:X2=0x2200;
15653544:> 1:X1=0x0; 1:X2=0x2211;
45      :> 1:X1=0x22; 1:X2=0x2200;
158901795:> 1:X1=0x22; 1:X2=0x2211;
Ok
Witnesses
Positive: 45 Negative: 600099955
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is validated
Hash=a59735188321e49a9a64212ab6192234
Time MP+dmbsy+misaligned2+127 2401.82

Test MP+dmbsy+misaligned2+127x Allow
Histogram (5 states)
292694818:> 1:X1=0x0; 1:X2=0x0;
152127707:> 1:X1=0x0; 1:X2=0x1100;
901197  :> 1:X1=0x0; 1:X2=0x1122;
1       :> 1:X1=0x0; 1:X2=0x22;
154376277:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=24852f1c0c8e31b96c31b97c179e8ab8
Time MP+dmbsy+misaligned2+127x 2272.41

Test MP+dmbsy+misaligned2+15 Allow
Histogram (4 states)
306256124:> 1:X1=0x0; 1:X2=0x0;
83402237:> 1:X1=0x0; 1:X2=0x11;
2812    :> 1:X1=0x0; 1:X2=0x2211;
210438827:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=5e50731124ce3e7fec9e599327f631eb
Time MP+dmbsy+misaligned2+15 1242.00

Test MP+dmbsy+misaligned2+15x Allow
Histogram (4 states)
305998177:> 1:X1=0x0; 1:X2=0x0;
84111627:> 1:X1=0x0; 1:X2=0x1100;
3406    :> 1:X1=0x0; 1:X2=0x1122;
209986790:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=df5b7bf3bc5702da1726b529e7659040
Time MP+dmbsy+misaligned2+15x 1171.97

Test MP+dmbsy+misaligned2+1x Allow
Histogram (4 states)
306828317:> 1:X1=0x0; 1:X2=0x0;
84457115:> 1:X1=0x0; 1:X2=0x1100;
3124    :> 1:X1=0x0; 1:X2=0x1122;
208811444:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=d029af8b48208b7505d59468a2e815e4
Time MP+dmbsy+misaligned2+1x 1174.05

Test MP+dmbsy+misaligned2+255 Allow
Histogram (6 states)
300928394:> 1:X1=0x0; 1:X2=0x0;
121629960:> 1:X1=0x0; 1:X2=0x11;
7       :> 1:X1=0x0; 1:X2=0x2200;
12212641:> 1:X1=0x0; 1:X2=0x2211;
13      :> 1:X1=0x22; 1:X2=0x2200;
165328985:> 1:X1=0x22; 1:X2=0x2211;
Ok
Witnesses
Positive: 13 Negative: 600099987
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is validated
Hash=c267f3496b72032f9a3129ddba831da7
Time MP+dmbsy+misaligned2+255 2808.59

Test MP+dmbsy+misaligned2+255x Allow
Histogram (4 states)
294864193:> 1:X1=0x0; 1:X2=0x0;
146232891:> 1:X1=0x0; 1:X2=0x1100;
1401640 :> 1:X1=0x0; 1:X2=0x1122;
157601276:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=092e7251bbf263d1509922e97b1a9b1a
Time MP+dmbsy+misaligned2+255x 2818.67

Test MP+dmbsy+misaligned2+3 Allow
Histogram (4 states)
306146702:> 1:X1=0x0; 1:X2=0x0;
83562574:> 1:X1=0x0; 1:X2=0x11;
2714    :> 1:X1=0x0; 1:X2=0x2211;
210388010:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=b9be1369360061fed6ab4ef15e5a112c
Time MP+dmbsy+misaligned2+3 1243.04

Test MP+dmbsy+misaligned2+31 Allow
Histogram (4 states)
306617418:> 1:X1=0x0; 1:X2=0x0;
83732313:> 1:X1=0x0; 1:X2=0x11;
2907    :> 1:X1=0x0; 1:X2=0x2211;
209747362:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=c2f2027a9567486453936174b509715f
Time MP+dmbsy+misaligned2+31 1283.84

Test MP+dmbsy+misaligned2+31x Allow
Histogram (4 states)
303751575:> 1:X1=0x0; 1:X2=0x0;
84652895:> 1:X1=0x0; 1:X2=0x1100;
2765    :> 1:X1=0x0; 1:X2=0x1122;
211692765:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=4fe8628486a12b59aee309d6f85c3619
Time MP+dmbsy+misaligned2+31x 1171.76

Test MP+dmbsy+misaligned2+3x Allow
Histogram (4 states)
306701513:> 1:X1=0x0; 1:X2=0x0;
84690654:> 1:X1=0x0; 1:X2=0x1100;
3420    :> 1:X1=0x0; 1:X2=0x1122;
208704413:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=8c540fdd18640c6a74d1aa267f9b89d8
Time MP+dmbsy+misaligned2+3x 1174.71

Test MP+dmbsy+misaligned2+511 Allow
Histogram (6 states)
301361838:> 1:X1=0x0; 1:X2=0x0;
130106483:> 1:X1=0x0; 1:X2=0x11;
5       :> 1:X1=0x0; 1:X2=0x2200;
14489400:> 1:X1=0x0; 1:X2=0x2211;
1       :> 1:X1=0x22; 1:X2=0x2200;
154142273:> 1:X1=0x22; 1:X2=0x2211;
Ok
Witnesses
Positive: 1 Negative: 600099999
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is validated
Hash=0b06ec05a3755fe3e2aee03dea92c2b1
Time MP+dmbsy+misaligned2+511 4995.62

Test MP+dmbsy+misaligned2+511x Allow
Histogram (4 states)
290203393:> 1:X1=0x0; 1:X2=0x0;
164348297:> 1:X1=0x0; 1:X2=0x1100;
589180  :> 1:X1=0x0; 1:X2=0x1122;
144959130:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=4b78c306c28ba869f417299ca856701e
Time MP+dmbsy+misaligned2+511x 5003.21

Test MP+dmbsy+misaligned2+63 Allow
Histogram (6 states)
303677726:> 1:X1=0x0; 1:X2=0x0;
98219025:> 1:X1=0x0; 1:X2=0x11;
4       :> 1:X1=0x0; 1:X2=0x2200;
8917310 :> 1:X1=0x0; 1:X2=0x2211;
1       :> 1:X1=0x22; 1:X2=0x2200;
189285934:> 1:X1=0x22; 1:X2=0x2211;
Ok
Witnesses
Positive: 1 Negative: 600099999
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is validated
Hash=fcb11e61926d435587f03a3399b1557e
Time MP+dmbsy+misaligned2+63 1255.64

Test MP+dmbsy+misaligned2+63x Allow
Histogram (4 states)
295921539:> 1:X1=0x0; 1:X2=0x0;
146774977:> 1:X1=0x0; 1:X2=0x1100;
2644960 :> 1:X1=0x0; 1:X2=0x1122;
154758524:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=fa0da4c0af1ecd49543bc1bf215b049a
Time MP+dmbsy+misaligned2+63x 1221.84

Test MP+dmbsy+misaligned2+7 Allow
Histogram (4 states)
303695251:> 1:X1=0x0; 1:X2=0x0;
83170370:> 1:X1=0x0; 1:X2=0x11;
3635    :> 1:X1=0x0; 1:X2=0x2211;
213230744:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=13b8f5bc22f404bacc3633f87baa06da
Time MP+dmbsy+misaligned2+7 1239.03

Test MP+dmbsy+misaligned2+7x Allow
Histogram (4 states)
306651209:> 1:X1=0x0; 1:X2=0x0;
84772782:> 1:X1=0x0; 1:X2=0x1100;
3022    :> 1:X1=0x0; 1:X2=0x1122;
208672987:> 1:X1=0x22; 1:X2=0x1122;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x22) is not validated
Hash=ecc9e346edae3cfb15946a977a8430ef
Time MP+dmbsy+misaligned2+7x 1173.07

Test MP+misaligned2+0+addr Allow
Histogram (3 states)
304823662:> 1:X1=0x0; 1:X2=0x0;
211427  :> 1:X1=0x0; 1:X2=0x22;
295064911:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=a5d0267561267bf82b2450298865e61e
Time MP+misaligned2+0+addr 1211.55

Test MP+misaligned2+0x+addr Allow
Histogram (3 states)
304662447:> 1:X1=0x0; 1:X2=0x0;
216713  :> 1:X1=0x0; 1:X2=0x11;
295220840:> 1:X1=0x22; 1:X2=0x11;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is not validated
Hash=16031e477468b2ed2729eaf6f557be25
Time MP+misaligned2+0x+addr 1159.55

Test MP+misaligned2+1+addr Allow
Histogram (3 states)
305125074:> 1:X1=0x0; 1:X2=0x0;
297427  :> 1:X1=0x0; 1:X2=0x22;
294677499:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=b024324906fe7a1106a8101eee38e28e
Time MP+misaligned2+1+addr 1213.46

Test MP+misaligned2+127+addr Allow
Histogram (3 states)
296882379:> 1:X1=0x0; 1:X2=0x0;
33841772:> 1:X1=0x0; 1:X2=0x22;
269375849:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=e6b046cfd0bcd7409210e3c30dc4ebd3
Time MP+misaligned2+127+addr 1835.20

Test MP+misaligned2+127x+addr Allow
Histogram (4 states)
302522140:> 1:X1=0x0; 1:X2=0x0;
247282  :> 1:X1=0x0; 1:X2=0x11;
3073720 :> 1:X1=0x22; 1:X2=0x0;
294256858:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 3073720 Negative: 597026280
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=0aa26414170423d5b5b23d3bc863199d
Time MP+misaligned2+127x+addr 1735.22

Test MP+misaligned2+15+addr Allow
Histogram (3 states)
305146976:> 1:X1=0x0; 1:X2=0x0;
276025  :> 1:X1=0x0; 1:X2=0x22;
294676999:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=0322054f98e0b6bf6cc8ad64eed847c5
Time MP+misaligned2+15+addr 1225.84

Test MP+misaligned2+15x+addr Allow
Histogram (3 states)
305102314:> 1:X1=0x0; 1:X2=0x0;
266493  :> 1:X1=0x0; 1:X2=0x11;
294731193:> 1:X1=0x22; 1:X2=0x11;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is not validated
Hash=e0a74bb1124f8c1245e740fcf10c58db
Time MP+misaligned2+15x+addr 1156.71

Test MP+misaligned2+1x+addr Allow
Histogram (3 states)
305006661:> 1:X1=0x0; 1:X2=0x0;
317185  :> 1:X1=0x0; 1:X2=0x11;
294776154:> 1:X1=0x22; 1:X2=0x11;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is not validated
Hash=50c345fdbc0e0f65861b0b63ff1c06bb
Time MP+misaligned2+1x+addr 1157.42

Test MP+misaligned2+255+addr Allow
Histogram (3 states)
293392445:> 1:X1=0x0; 1:X2=0x0;
43323352:> 1:X1=0x0; 1:X2=0x22;
263384203:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=a5c4b24c204e5d84c8045d870f09a5b4
Time MP+misaligned2+255+addr 2815.92

Test MP+misaligned2+255x+addr Allow
Histogram (4 states)
302181469:> 1:X1=0x0; 1:X2=0x0;
386646  :> 1:X1=0x0; 1:X2=0x11;
5470567 :> 1:X1=0x22; 1:X2=0x0;
292061318:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 5470567 Negative: 594629433
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=b07522165a2220af4050b5d4ce10b2af
Time MP+misaligned2+255x+addr 2817.30

Test MP+misaligned2+3+addr Allow
Histogram (3 states)
304249844:> 1:X1=0x0; 1:X2=0x0;
190739  :> 1:X1=0x0; 1:X2=0x22;
295659417:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=7b47d2cb757da67b5b9747d9ab73a161
Time MP+misaligned2+3+addr 1216.05

Test MP+misaligned2+31+addr Allow
Histogram (3 states)
304665556:> 1:X1=0x0; 1:X2=0x0;
213416  :> 1:X1=0x0; 1:X2=0x22;
295221028:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=d9d237f1dcf6adcc7c1fec5cb022c452
Time MP+misaligned2+31+addr 1223.36

Test MP+misaligned2+31x+addr Allow
Histogram (3 states)
306189772:> 1:X1=0x0; 1:X2=0x0;
477581  :> 1:X1=0x0; 1:X2=0x11;
293432647:> 1:X1=0x22; 1:X2=0x11;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is not validated
Hash=a8849322e6f9ce21b0006a30f6e0c8ae
Time MP+misaligned2+31x+addr 1157.18

Test MP+misaligned2+3x+addr Allow
Histogram (3 states)
304836353:> 1:X1=0x0; 1:X2=0x0;
284184  :> 1:X1=0x0; 1:X2=0x11;
294979463:> 1:X1=0x22; 1:X2=0x11;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is not validated
Hash=685cc003781b6611aeea5a89854f4d12
Time MP+misaligned2+3x+addr 1156.81

Test MP+misaligned2+511+addr Allow
Histogram (3 states)
289765263:> 1:X1=0x0; 1:X2=0x0;
53276815:> 1:X1=0x0; 1:X2=0x22;
257057922:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=c6a8085ab481397e8a6eb49116d34aab
Time MP+misaligned2+511+addr 5013.72

Test MP+misaligned2+511x+addr Allow
Histogram (4 states)
301835842:> 1:X1=0x0; 1:X2=0x0;
473707  :> 1:X1=0x0; 1:X2=0x11;
7569617 :> 1:X1=0x22; 1:X2=0x0;
290220834:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 7569617 Negative: 592530383
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=e1dae19dd74c3c105abbd88c6402be2e
Time MP+misaligned2+511x+addr 5003.26

Test MP+misaligned2+63+addr Allow
Histogram (3 states)
296470650:> 1:X1=0x0; 1:X2=0x0;
34068824:> 1:X1=0x0; 1:X2=0x22;
269560526:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=765e0ee40721cddfedcb808c8826ec85
Time MP+misaligned2+63+addr 1263.50

Test MP+misaligned2+63x+addr Allow
Histogram (4 states)
303970409:> 1:X1=0x0; 1:X2=0x0;
96990   :> 1:X1=0x0; 1:X2=0x11;
5489315 :> 1:X1=0x22; 1:X2=0x0;
290543286:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 5489315 Negative: 594610685
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=db0d4444a5a370d709011c21b70ea136
Time MP+misaligned2+63x+addr 1192.59

Test MP+misaligned2+7+addr Allow
Histogram (3 states)
304299522:> 1:X1=0x0; 1:X2=0x0;
178052  :> 1:X1=0x0; 1:X2=0x22;
295622426:> 1:X1=0x11; 1:X2=0x22;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x11 /\ 1:X2=0x0) is not validated
Hash=8297b24137994b82a1cf2da7629268f9
Time MP+misaligned2+7+addr 1220.15

Test MP+misaligned2+7x+addr Allow
Histogram (3 states)
304207800:> 1:X1=0x0; 1:X2=0x0;
192234  :> 1:X1=0x0; 1:X2=0x11;
295699966:> 1:X1=0x22; 1:X2=0x11;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is not validated
Hash=8a866b98b162cad880c5bd260f7fa2bb
Time MP+misaligned2+7x+addr 1156.99

Test MP+stp+addr+60 Allow
Histogram (3 states)
296759032:> 1:X1=0x0; 1:X2=0x0;
32846366:> 1:X1=0x0; 1:X2=0x1;
270494602:> 1:X1=0x2; 1:X2=0x1;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x2 /\ 1:X2=0x0) is not validated
Hash=9f9ddfb902397817160e1f77f5d6678b
Time MP+stp+addr+60 256.94

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

Test PPOCA-MIXED-1 Allow
Histogram (4 states)
300471536:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x0;
19932341:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x1;
1036    :> 1:X0=0x1; 1:X4=0x1; 1:X6=0x0;
279695087:> 1:X0=0x1; 1:X4=0x1; 1:X6=0x1;
Ok
Witnesses
Positive: 1036 Negative: 600098964
Condition exists (1:X0=0x1 /\ 1:X4=0x1 /\ 1:X6=0x0) is validated
Hash=5ef96648c55aa7f6aeb32f27f7f149e9
Time PPOCA-MIXED-1 155.79

Test PPOCA-MIXED-2 Allow
Histogram (4 states)
301267033:> 1:X0=0x0; 1:X4=0x201; 1:X6=0x0;
18837519:> 1:X0=0x0; 1:X4=0x201; 1:X6=0x1;
17073   :> 1:X0=0x1; 1:X4=0x201; 1:X6=0x0;
279978375:> 1:X0=0x1; 1:X4=0x201; 1:X6=0x1;
Ok
Witnesses
Positive: 17073 Negative: 600082927
Condition exists (1:X0=0x1 /\ 1:X4=0x201 /\ 1:X6=0x0) is validated
Hash=ffa093294cb3e793f7827ff4486e9a09
Time PPOCA-MIXED-2 154.64

Test PPOCA-MIXED-3 Allow
Histogram (4 states)
301626475:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x0;
19834614:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x1;
31824   :> 1:X0=0x1; 1:X4=0x1; 1:X6=0x0;
278607087:> 1:X0=0x1; 1:X4=0x1; 1:X6=0x1;
Ok
Witnesses
Positive: 31824 Negative: 600068176
Condition exists (1:X0=0x1 /\ 1:X4=0x1 /\ 1:X6=0x0) is validated
Hash=c3aa7d2550487cf57ec50800891d7e8a
Time PPOCA-MIXED-3 155.00

