Test CO-MIXED-1b Allow
Histogram (2 states)
300478738:> 1:X1=0x0; x=0x200000001;
299621262:> 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 292.63

Test CO-MIXED-20cc Allow
Histogram (3 states)
283856600:> 0:X2=0x11111111; x=0x2222222222222222;
301618977:> 0:X2=0x2222222211111111; x=0x2222222211111111;
14624423:> 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 724.35

Test CO-MIXED-6 Allow
Histogram (2 states)
302064220:> x=0x100000003;
298035780:> x=0x200000002;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (x=0x200000003) is not validated
Hash=c809e1965f85fcc54a956876cfebbdb6
Time CO-MIXED-6 448.30

Test Co-mixed-1-uint64 Allow
Histogram (2 states)
300145208:> 1:X1=0x0; 1:X2=0x0;
299954792:> 1:X1=0x1; 1:X2=0x1;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x1 /\ 1:X2=0x0) is not validated
Hash=5e1b07d82fa056e93fe830dea727fdd3
Time Co-mixed-1-uint64 167.31

Test MP+dmbsy+ldp-addr+BIS3 Allow
Histogram (3 states)
297688279:> 1:X1=0x0; 1:X2=0x0; 1:X4=0x0;
19734   :> 1:X1=0x0; 1:X2=0x0; 1:X4=0x1;
302391987:> 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 378.20

Test MP+dmbsy+misaligned2+0 Allow
Histogram (4 states)
300799862:> 1:X1=0x0; 1:X2=0x0;
12823   :> 1:X1=0x0; 1:X2=0x11;
959     :> 1:X1=0x0; 1:X2=0x2211;
299286356:> 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 3568.93

Test MP+dmbsy+misaligned2+0x Allow
Histogram (4 states)
301165809:> 1:X1=0x0; 1:X2=0x0;
329053  :> 1:X1=0x0; 1:X2=0x1100;
2612    :> 1:X1=0x0; 1:X2=0x1122;
298602526:> 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 2807.06

Test MP+dmbsy+misaligned2+1 Allow
Histogram (3 states)
300500646:> 1:X1=0x0; 1:X2=0x0;
7133    :> 1:X1=0x0; 1:X2=0x11;
299592221:> 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 3988.08

Test MP+dmbsy+misaligned2+127 Allow
Histogram (4 states)
302303055:> 1:X1=0x0; 1:X2=0x0;
698001  :> 1:X1=0x0; 1:X2=0x11;
24      :> 1:X1=0x0; 1:X2=0x2211;
297098920:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=a59735188321e49a9a64212ab6192234
Time MP+dmbsy+misaligned2+127 7658.33

Test MP+dmbsy+misaligned2+127x Allow
Histogram (4 states)
302743472:> 1:X1=0x0; 1:X2=0x0;
1459786 :> 1:X1=0x0; 1:X2=0x1100;
165224  :> 1:X1=0x0; 1:X2=0x1122;
295731518:> 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 4093.76

Test MP+dmbsy+misaligned2+15 Allow
Histogram (3 states)
301278872:> 1:X1=0x0; 1:X2=0x0;
5344    :> 1:X1=0x0; 1:X2=0x11;
298815784:> 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 4097.53

Test MP+dmbsy+misaligned2+15x Allow
Histogram (3 states)
301383317:> 1:X1=0x0; 1:X2=0x0;
8549    :> 1:X1=0x0; 1:X2=0x1100;
298708134:> 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 1841.54

Test MP+dmbsy+misaligned2+1x Allow
Histogram (3 states)
301783717:> 1:X1=0x0; 1:X2=0x0;
580934  :> 1:X1=0x0; 1:X2=0x1100;
297735349:> 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 1858.68

Test MP+dmbsy+misaligned2+255 Allow
Histogram (4 states)
304699560:> 1:X1=0x0; 1:X2=0x0;
1796164 :> 1:X1=0x0; 1:X2=0x11;
4       :> 1:X1=0x0; 1:X2=0x2211;
293604272:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=c267f3496b72032f9a3129ddba831da7
Time MP+dmbsy+misaligned2+255 8083.70

Test MP+dmbsy+misaligned2+255x Allow
Histogram (4 states)
304774298:> 1:X1=0x0; 1:X2=0x0;
2544557 :> 1:X1=0x0; 1:X2=0x1100;
345     :> 1:X1=0x0; 1:X2=0x1122;
292780800:> 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 4690.84

Test MP+dmbsy+misaligned2+3 Allow
Histogram (4 states)
300663970:> 1:X1=0x0; 1:X2=0x0;
7590    :> 1:X1=0x0; 1:X2=0x11;
157811  :> 1:X1=0x0; 1:X2=0x2211;
299270629:> 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 3417.24

Test MP+dmbsy+misaligned2+31 Allow
Histogram (4 states)
301017312:> 1:X1=0x0; 1:X2=0x0;
1074181 :> 1:X1=0x0; 1:X2=0x11;
668191  :> 1:X1=0x0; 1:X2=0x2211;
297340316:> 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 6208.93

Test MP+dmbsy+misaligned2+31x Allow
Histogram (3 states)
299028003:> 1:X1=0x0; 1:X2=0x0;
46176   :> 1:X1=0x0; 1:X2=0x1100;
301025821:> 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 1851.40

Test MP+dmbsy+misaligned2+3x Allow
Histogram (3 states)
300828195:> 1:X1=0x0; 1:X2=0x0;
22380   :> 1:X1=0x0; 1:X2=0x1100;
299249425:> 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 1937.25

Test MP+dmbsy+misaligned2+511 Allow
Histogram (4 states)
308672259:> 1:X1=0x0; 1:X2=0x0;
2405064 :> 1:X1=0x0; 1:X2=0x11;
347     :> 1:X1=0x0; 1:X2=0x2211;
289022330:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=0b06ec05a3755fe3e2aee03dea92c2b1
Time MP+dmbsy+misaligned2+511 12212.56

Test MP+dmbsy+misaligned2+511x Allow
Histogram (4 states)
309179866:> 1:X1=0x0; 1:X2=0x0;
5230707 :> 1:X1=0x0; 1:X2=0x1100;
315     :> 1:X1=0x0; 1:X2=0x1122;
285689112:> 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 8127.85

Test MP+dmbsy+misaligned2+63 Allow
Histogram (4 states)
297879386:> 1:X1=0x0; 1:X2=0x0;
105314  :> 1:X1=0x0; 1:X2=0x11;
4266    :> 1:X1=0x0; 1:X2=0x2211;
302111034:> 1:X1=0x22; 1:X2=0x2211;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X1=0x22 /\ 1:X2=0x2200) is not validated
Hash=fcb11e61926d435587f03a3399b1557e
Time MP+dmbsy+misaligned2+63 5207.15

Test MP+dmbsy+misaligned2+63x Allow
Histogram (4 states)
299794941:> 1:X1=0x0; 1:X2=0x0;
560405  :> 1:X1=0x0; 1:X2=0x1100;
309222  :> 1:X1=0x0; 1:X2=0x1122;
299435432:> 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 1843.93

Test MP+dmbsy+misaligned2+7 Allow
Histogram (3 states)
300506578:> 1:X1=0x0; 1:X2=0x0;
175993  :> 1:X1=0x0; 1:X2=0x11;
299417429:> 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 3719.82

Test MP+dmbsy+misaligned2+7x Allow
Histogram (3 states)
301951918:> 1:X1=0x0; 1:X2=0x0;
735086  :> 1:X1=0x0; 1:X2=0x1100;
297412996:> 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 1879.09

Test MP+misaligned2+0+addr Allow
Histogram (3 states)
301026192:> 1:X1=0x0; 1:X2=0x0;
3216    :> 1:X1=0x0; 1:X2=0x22;
299070592:> 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 7906.22

Test MP+misaligned2+0x+addr Allow
Histogram (3 states)
302132340:> 1:X1=0x0; 1:X2=0x0;
955     :> 1:X1=0x0; 1:X2=0x11;
297966705:> 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 1863.59

Test MP+misaligned2+1+addr Allow
Histogram (3 states)
300670916:> 1:X1=0x0; 1:X2=0x0;
4180    :> 1:X1=0x0; 1:X2=0x22;
299424904:> 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 7203.49

Test MP+misaligned2+127+addr Allow
Histogram (3 states)
328218227:> 1:X1=0x0; 1:X2=0x0;
12785   :> 1:X1=0x0; 1:X2=0x22;
271868988:> 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 6889.98

Test MP+misaligned2+127x+addr Allow
Histogram (4 states)
329618394:> 1:X1=0x0; 1:X2=0x0;
384     :> 1:X1=0x0; 1:X2=0x11;
2767    :> 1:X1=0x22; 1:X2=0x0;
270478455:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 2767 Negative: 600097233
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=0aa26414170423d5b5b23d3bc863199d
Time MP+misaligned2+127x+addr 3868.88

Test MP+misaligned2+15+addr Allow
Histogram (3 states)
300879895:> 1:X1=0x0; 1:X2=0x0;
3927    :> 1:X1=0x0; 1:X2=0x22;
299216178:> 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 3921.72

Test MP+misaligned2+15x+addr Allow
Histogram (3 states)
300633011:> 1:X1=0x0; 1:X2=0x0;
3566    :> 1:X1=0x0; 1:X2=0x11;
299463423:> 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 1837.26

Test MP+misaligned2+1x+addr Allow
Histogram (3 states)
300520265:> 1:X1=0x0; 1:X2=0x0;
3619    :> 1:X1=0x0; 1:X2=0x11;
299576116:> 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 1850.88

Test MP+misaligned2+255+addr Allow
Histogram (3 states)
326890007:> 1:X1=0x0; 1:X2=0x0;
13651862:> 1:X1=0x0; 1:X2=0x22;
259558131:> 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 8111.97

Test MP+misaligned2+255x+addr Allow
Histogram (4 states)
333751011:> 1:X1=0x0; 1:X2=0x0;
8046    :> 1:X1=0x0; 1:X2=0x11;
3982    :> 1:X1=0x22; 1:X2=0x0;
266336961:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 3982 Negative: 600096018
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=b07522165a2220af4050b5d4ce10b2af
Time MP+misaligned2+255x+addr 8634.52

Test MP+misaligned2+3+addr Allow
Histogram (3 states)
301316728:> 1:X1=0x0; 1:X2=0x0;
4017    :> 1:X1=0x0; 1:X2=0x22;
298779255:> 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 3437.03

Test MP+misaligned2+31+addr Allow
Histogram (3 states)
300880477:> 1:X1=0x0; 1:X2=0x0;
3962    :> 1:X1=0x0; 1:X2=0x22;
299215561:> 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 4500.65

Test MP+misaligned2+31x+addr Allow
Histogram (3 states)
300959302:> 1:X1=0x0; 1:X2=0x0;
3160    :> 1:X1=0x0; 1:X2=0x11;
299137538:> 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 1862.73

Test MP+misaligned2+3x+addr Allow
Histogram (3 states)
300418093:> 1:X1=0x0; 1:X2=0x0;
4361    :> 1:X1=0x0; 1:X2=0x11;
299677546:> 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 1861.54

Test MP+misaligned2+511+addr Allow
Histogram (3 states)
343403611:> 1:X1=0x0; 1:X2=0x0;
11649   :> 1:X1=0x0; 1:X2=0x22;
256684740:> 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 14510.99

Test MP+misaligned2+511x+addr Allow
Histogram (4 states)
342045148:> 1:X1=0x0; 1:X2=0x0;
204     :> 1:X1=0x0; 1:X2=0x11;
5528    :> 1:X1=0x22; 1:X2=0x0;
258049120:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 5528 Negative: 600094472
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=e1dae19dd74c3c105abbd88c6402be2e
Time MP+misaligned2+511x+addr 11495.59

Test MP+misaligned2+63+addr Allow
Histogram (3 states)
322487528:> 1:X1=0x0; 1:X2=0x0;
3892    :> 1:X1=0x0; 1:X2=0x22;
277608580:> 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 4783.11

Test MP+misaligned2+63x+addr Allow
Histogram (4 states)
320930058:> 1:X1=0x0; 1:X2=0x0;
45871   :> 1:X1=0x0; 1:X2=0x11;
2061    :> 1:X1=0x22; 1:X2=0x0;
279122010:> 1:X1=0x22; 1:X2=0x11;
Ok
Witnesses
Positive: 2061 Negative: 600097939
Condition exists (1:X1=0x22 /\ 1:X2=0x0) is validated
Hash=db0d4444a5a370d709011c21b70ea136
Time MP+misaligned2+63x+addr 1845.29

Test MP+misaligned2+7+addr Allow
Histogram (3 states)
300802982:> 1:X1=0x0; 1:X2=0x0;
3224    :> 1:X1=0x0; 1:X2=0x22;
299293794:> 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 5591.72

Test MP+misaligned2+7x+addr Allow
Histogram (3 states)
299962626:> 1:X1=0x0; 1:X2=0x0;
3818    :> 1:X1=0x0; 1:X2=0x11;
300133556:> 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 1855.98

Test MP+stp+addr+60 Allow
Histogram (3 states)
314650964:> 1:X1=0x0; 1:X2=0x0;
4269    :> 1:X1=0x0; 1:X2=0x1;
285444767:> 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 1144.43

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

Test PPOCA-MIXED-1 Allow
Histogram (3 states)
271001136:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x0;
28534232:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x1;
300564632:> 1:X0=0x1; 1:X4=0x1; 1:X6=0x1;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X0=0x1 /\ 1:X4=0x1 /\ 1:X6=0x0) is not validated
Hash=5ef96648c55aa7f6aeb32f27f7f149e9
Time PPOCA-MIXED-1 497.54

Test PPOCA-MIXED-2 Allow
Histogram (3 states)
297696966:> 1:X0=0x0; 1:X4=0x201; 1:X6=0x0;
2416333 :> 1:X0=0x0; 1:X4=0x201; 1:X6=0x1;
299986701:> 1:X0=0x1; 1:X4=0x201; 1:X6=0x1;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X0=0x1 /\ 1:X4=0x201 /\ 1:X6=0x0) is not validated
Hash=ffa093294cb3e793f7827ff4486e9a09
Time PPOCA-MIXED-2 605.89

Test PPOCA-MIXED-3 Allow
Histogram (3 states)
302673483:> 1:X0=0x0; 1:X4=0x1; 1:X6=0x0;
406529  :> 1:X0=0x0; 1:X4=0x1; 1:X6=0x1;
297019988:> 1:X0=0x1; 1:X4=0x1; 1:X6=0x1;
No
Witnesses
Positive: 0 Negative: 600100000
Condition exists (1:X0=0x1 /\ 1:X4=0x1 /\ 1:X6=0x0) is not validated
Hash=c3aa7d2550487cf57ec50800891d7e8a
Time PPOCA-MIXED-3 652.10

