Test CO-MIXED-1 Allow
Histogram (4 states)
1817026715:> 1:r1=0x0; 1:r2=0x0;
2247736 :> 1:r1=0x0; 1:r2=0x1;
499918  :> 1:r1=0x2; 1:r2=0x0;
1701825631:> 1:r1=0x2; 1:r2=0x1;
Ok
Witnesses
Positive: 499918 Negative: 3521100082
Condition exists (1:r1=0x2 /\ 1:r2=0x0) is validated
Hash=df188eb0bccaddbf1e4e6e3580fc072d
Time CO-MIXED-1 347.32

Test CO-MIXED-1b Allow
Histogram (3 states)
1836956316:> 1:r1=0x0; x=0x100000002;
13781186:> 1:r1=0x100000000; x=0x100000002;
1670862498:> 1:r1=0x100000002; x=0x100000002;
No
Witnesses
Positive: 0 Negative: 3521600000
Condition exists (x=0x100000002 /\ 1:r1=0x2) is not validated
Hash=89597aeecb771baec8e3293277bf9150
Time CO-MIXED-1b 395.73

Test CO-MIXED-20cc Allow
Histogram (4 states)
8078759 :> 0:r2=0x1111111100000000; x=0x1111111122222222;
1598165237:> 0:r2=0x1111111100000000; x=0x2222222222222222;
1695628341:> 0:r2=0x1111111122222222; x=0x1111111122222222;
59727663:> 0:r2=0x2222222222222222; x=0x2222222222222222;
No
Witnesses
Positive: 0 Negative: 3361600000
Condition exists (x=0x2222222222222222 /\ 0:r2=0x1111111122222222) is not validated
Hash=ea4e5baabc0cd2c46058b3e1eb380af9
Time CO-MIXED-20cc 369.71

Test CO-MIXED-2b Allow
Histogram (15 states)
391976538:> 2:r1=0x0; 2:r2=0x0; x=0x100000001;
380484769:> 2:r1=0x0; 2:r2=0x0; x=0x200000001;
155454  :> 2:r1=0x0; 2:r2=0x100000001; x=0x100000001;
302946  :> 2:r1=0x0; 2:r2=0x100000001; x=0x200000001;
286659  :> 2:r1=0x0; 2:r2=0x200000000; x=0x100000001;
2374    :> 2:r1=0x0; 2:r2=0x200000000; x=0x200000001;
148283  :> 2:r1=0x0; 2:r2=0x200000001; x=0x200000001;
398831978:> 2:r1=0x100000001; 2:r2=0x100000001; x=0x100000001;
317027541:> 2:r1=0x100000001; 2:r2=0x100000001; x=0x200000001;
723677  :> 2:r1=0x100000001; 2:r2=0x200000001; x=0x200000001;
722414  :> 2:r1=0x200000000; 2:r2=0x100000001; x=0x100000001;
314767337:> 2:r1=0x200000000; 2:r2=0x200000000; x=0x100000001;
102958  :> 2:r1=0x200000000; 2:r2=0x200000000; x=0x200000001;
603     :> 2:r1=0x200000000; 2:r2=0x200000001; x=0x200000001;
395466469:> 2:r1=0x200000001; 2:r2=0x200000001; x=0x200000001;
Ok
Witnesses
Positive: 603 Negative: 2200999397
Condition exists (x=0x200000001 /\ 2:r1=0x200000000 /\ 2:r2=0x200000001) is validated
Hash=b712c3ab00925dc19d5fdcbe658558c6
Time CO-MIXED-2b 785.95

Test CO-MIXED-2b-sync Allow
Histogram (14 states)
250781267:> 2:r1=0x0; 2:r2=0x0; x=0x100000001;
240255253:> 2:r1=0x0; 2:r2=0x0; x=0x200000001;
69363463:> 2:r1=0x0; 2:r2=0x100000001; x=0x100000001;
80489069:> 2:r1=0x0; 2:r2=0x100000001; x=0x200000001;
77018310:> 2:r1=0x0; 2:r2=0x200000000; x=0x100000001;
77233   :> 2:r1=0x0; 2:r2=0x200000000; x=0x200000001;
62288904:> 2:r1=0x0; 2:r2=0x200000001; x=0x200000001;
424785578:> 2:r1=0x100000001; 2:r2=0x100000001; x=0x100000001;
173863031:> 2:r1=0x100000001; 2:r2=0x100000001; x=0x200000001;
112780858:> 2:r1=0x100000001; 2:r2=0x200000001; x=0x200000001;
114800694:> 2:r1=0x200000000; 2:r2=0x100000001; x=0x100000001;
170877563:> 2:r1=0x200000000; 2:r2=0x200000000; x=0x100000001;
47591   :> 2:r1=0x200000000; 2:r2=0x200000001; x=0x200000001;
423571186:> 2:r1=0x200000001; 2:r2=0x200000001; x=0x200000001;
Ok
Witnesses
Positive: 47591 Negative: 2200952409
Condition exists (x=0x200000001 /\ 2:r1=0x200000000 /\ 2:r2=0x200000001) is validated
Hash=de281ba3df3df5a81b1f4ddbdc26819f
Time CO-MIXED-2b-sync 906.60

Test CO-MIXED-6 Allow
Histogram (3 states)
14805699:> x=0x200000001;
1743742606:> x=0x200000022;
1763051695:> x=0x300000001;
No
Witnesses
Positive: 0 Negative: 3521600000
Condition exists (x=0x300000022) is not validated
Hash=c7e373fc4f7987b986621ca87e521eda
Time CO-MIXED-6 353.03

Test CO-MIXED-6-mergedsep+reader Allow
Histogram (56 states)
152546793:> 3:r1=0x0; 3:r3=0x0; x=0x1100000001;
74525898:> 3:r1=0x0; 3:r3=0x0; x=0x1100000003;
152658070:> 3:r1=0x0; 3:r3=0x0; x=0x2200000002;
74256353:> 3:r1=0x0; 3:r3=0x0; x=0x2200000003;
55782   :> 3:r1=0x1100000001; 3:r3=0x0; x=0x1100000001;
46846   :> 3:r1=0x1100000001; 3:r3=0x0; x=0x1100000003;
191956  :> 3:r1=0x1100000001; 3:r3=0x0; x=0x2200000002;
143248  :> 3:r1=0x1100000001; 3:r3=0x0; x=0x2200000003;
179936240:> 3:r1=0x1100000001; 3:r3=0x1; x=0x1100000001;
69585277:> 3:r1=0x1100000001; 3:r3=0x1; x=0x1100000003;
130561358:> 3:r1=0x1100000001; 3:r3=0x1; x=0x2200000002;
58932832:> 3:r1=0x1100000001; 3:r3=0x1; x=0x2200000003;
507193  :> 3:r1=0x1100000001; 3:r3=0x2; x=0x1100000001;
257419  :> 3:r1=0x1100000001; 3:r3=0x2; x=0x1100000003;
501867  :> 3:r1=0x1100000001; 3:r3=0x3; x=0x1100000001;
260304  :> 3:r1=0x1100000001; 3:r3=0x3; x=0x2200000002;
26185   :> 3:r1=0x1100000003; 3:r3=0x0; x=0x1100000003;
42724   :> 3:r1=0x1100000003; 3:r3=0x0; x=0x2200000002;
66      :> 3:r1=0x1100000003; 3:r3=0x0; x=0x2200000003;
418705  :> 3:r1=0x1100000003; 3:r3=0x1; x=0x1100000003;
259565  :> 3:r1=0x1100000003; 3:r3=0x1; x=0x2200000002;
3309    :> 3:r1=0x1100000003; 3:r3=0x1; x=0x2200000003;
96270   :> 3:r1=0x1100000003; 3:r3=0x2; x=0x1100000003;
87282406:> 3:r1=0x1100000003; 3:r3=0x3; x=0x1100000003;
68973707:> 3:r1=0x1100000003; 3:r3=0x3; x=0x2200000002;
6848    :> 3:r1=0x1100000003; 3:r3=0x3; x=0x2200000003;
178728  :> 3:r1=0x2200000002; 3:r3=0x0; x=0x1100000001;
134845  :> 3:r1=0x2200000002; 3:r3=0x0; x=0x1100000003;
55750   :> 3:r1=0x2200000002; 3:r3=0x0; x=0x2200000002;
46568   :> 3:r1=0x2200000002; 3:r3=0x0; x=0x2200000003;
545372  :> 3:r1=0x2200000002; 3:r3=0x1; x=0x2200000002;
267370  :> 3:r1=0x2200000002; 3:r3=0x1; x=0x2200000003;
127151249:> 3:r1=0x2200000002; 3:r3=0x2; x=0x1100000001;
57350438:> 3:r1=0x2200000002; 3:r3=0x2; x=0x1100000003;
179813025:> 3:r1=0x2200000002; 3:r3=0x2; x=0x2200000002;
70052834:> 3:r1=0x2200000002; 3:r3=0x2; x=0x2200000003;
261348  :> 3:r1=0x2200000002; 3:r3=0x3; x=0x1100000001;
500215  :> 3:r1=0x2200000002; 3:r3=0x3; x=0x2200000002;
41300   :> 3:r1=0x2200000003; 3:r3=0x0; x=0x1100000001;
58      :> 3:r1=0x2200000003; 3:r3=0x0; x=0x1100000003;
25343   :> 3:r1=0x2200000003; 3:r3=0x0; x=0x2200000003;
106264  :> 3:r1=0x2200000003; 3:r3=0x1; x=0x2200000003;
278954  :> 3:r1=0x2200000003; 3:r3=0x2; x=0x1100000001;
3688    :> 3:r1=0x2200000003; 3:r3=0x2; x=0x1100000003;
404383  :> 3:r1=0x2200000003; 3:r3=0x2; x=0x2200000003;
67791850:> 3:r1=0x2200000003; 3:r3=0x3; x=0x1100000001;
7885    :> 3:r1=0x2200000003; 3:r3=0x3; x=0x1100000003;
86217349:> 3:r1=0x2200000003; 3:r3=0x3; x=0x2200000003;
111276  :> 3:r1=0x3; 3:r3=0x0; x=0x1100000001;
907     :> 3:r1=0x3; 3:r3=0x0; x=0x1100000003;
111258  :> 3:r1=0x3; 3:r3=0x0; x=0x2200000002;
967     :> 3:r1=0x3; 3:r3=0x0; x=0x2200000003;
58478507:> 3:r1=0x3; 3:r3=0x3; x=0x1100000001;
9011    :> 3:r1=0x3; 3:r3=0x3; x=0x1100000003;
58766999:> 3:r1=0x3; 3:r3=0x3; x=0x2200000002;
9038    :> 3:r1=0x3; 3:r3=0x3; x=0x2200000003;
Ok
Witnesses
Positive: 6848 Negative: 1760793152
Condition exists (x=0x2200000003 /\ 3:r3=0x3 /\ 3:r1=0x1100000003) is validated
Hash=fe14283c0d05a6c8f0d64e0648405cb7
Time CO-MIXED-6-mergedsep+reader 1112.73

Test CO-MIXED-6-sep+reader Allow
Histogram (30 states)
77247529:> 3:r1=0x0; 3:r3=0x0; x=0x1100000002;
147806544:> 3:r1=0x0; 3:r3=0x0; x=0x1100000003;
154946459:> 3:r1=0x0; 3:r3=0x0; x=0x2200000002;
74988083:> 3:r1=0x0; 3:r3=0x0; x=0x2200000003;
58832362:> 3:r1=0x0; 3:r3=0x3; x=0x1100000002;
22288   :> 3:r1=0x0; 3:r3=0x3; x=0x1100000003;
58765633:> 3:r1=0x0; 3:r3=0x3; x=0x2200000002;
7313    :> 3:r1=0x0; 3:r3=0x3; x=0x2200000003;
34093   :> 3:r1=0x11; 3:r3=0x0; x=0x1100000002;
116711  :> 3:r1=0x11; 3:r3=0x0; x=0x1100000003;
60857265:> 3:r1=0x11; 3:r3=0x0; x=0x2200000002;
57216574:> 3:r1=0x11; 3:r3=0x0; x=0x2200000003;
87037610:> 3:r1=0x11; 3:r3=0x2; x=0x1100000002;
70039105:> 3:r1=0x11; 3:r3=0x2; x=0x1100000003;
103766  :> 3:r1=0x11; 3:r3=0x3; x=0x1100000002;
178774448:> 3:r1=0x11; 3:r3=0x3; x=0x1100000003;
137804975:> 3:r1=0x11; 3:r3=0x3; x=0x2200000002;
7237    :> 3:r1=0x11; 3:r3=0x3; x=0x2200000003;
48173   :> 3:r1=0x22; 3:r3=0x0; x=0x1100000002;
289821  :> 3:r1=0x22; 3:r3=0x0; x=0x1100000003;
159100  :> 3:r1=0x22; 3:r3=0x0; x=0x2200000002;
432888  :> 3:r1=0x22; 3:r3=0x0; x=0x2200000003;
69834980:> 3:r1=0x22; 3:r3=0x2; x=0x1100000002;
116201622:> 3:r1=0x22; 3:r3=0x2; x=0x1100000003;
183226593:> 3:r1=0x22; 3:r3=0x2; x=0x2200000002;
69147551:> 3:r1=0x22; 3:r3=0x2; x=0x2200000003;
251145  :> 3:r1=0x22; 3:r3=0x3; x=0x1100000002;
69511637:> 3:r1=0x22; 3:r3=0x3; x=0x1100000003;
883020  :> 3:r1=0x22; 3:r3=0x3; x=0x2200000002;
86205475:> 3:r1=0x22; 3:r3=0x3; x=0x2200000003;
Ok
Witnesses
Positive: 7313 Negative: 1760792687
Condition exists (x=0x2200000003 /\ 3:r3=0x3 /\ 3:r1=0x0) is validated
Hash=38adaab0ba5d0d4a83194b764abaac4f
Time CO-MIXED-6-sep+reader 1083.40

Test IRIW-MIXED-1 Allow
Histogram (16 states)
307056872:> 1:r3=0x0; 3:r4=0x0;
64242371:> 1:r3=0x0; 3:r4=0x100000000;
168600228:> 1:r3=0x0; 3:r4=0x100000002;
63107542:> 1:r3=0x0; 3:r4=0x2;
65822216:> 1:r3=0x100000000; 3:r4=0x0;
130121086:> 1:r3=0x100000000; 3:r4=0x100000000;
65900638:> 1:r3=0x100000000; 3:r4=0x100000002;
45756   :> 1:r3=0x100000000; 3:r4=0x2;
168830456:> 1:r3=0x100000002; 3:r4=0x0;
67480125:> 1:r3=0x100000002; 3:r4=0x100000000;
336886098:> 1:r3=0x100000002; 3:r4=0x100000002;
67740119:> 1:r3=0x100000002; 3:r4=0x2;
64234870:> 1:r3=0x2; 3:r4=0x0;
42714   :> 1:r3=0x2; 3:r4=0x100000000;
65097232:> 1:r3=0x2; 3:r4=0x100000002;
125591677:> 1:r3=0x2; 3:r4=0x2;
Ok
Witnesses
Positive: 45756 Negative: 1760754244
Condition exists (1:r3=0x100000000 /\ 3:r4=0x2) is validated
Hash=df4b2435826128a6d8b1652b45fb95ec
Time IRIW-MIXED-1 965.93

Test MP+lwsync+lmw-addr+BIS3 Allow
Histogram (6 states)
1727799941:> 1:r2=0x0; 1:r30=0x0; 1:r31=0x0;
4736    :> 1:r2=0x0; 1:r30=0x0; 1:r31=0x2;
285302093:> 1:r2=0x3; 1:r30=0x0; 1:r31=0x0;
19599190:> 1:r2=0x3; 1:r30=0x0; 1:r31=0x2;
2172100 :> 1:r2=0x3; 1:r30=0x1; 1:r31=0x0;
1486721940:> 1:r2=0x3; 1:r30=0x1; 1:r31=0x2;
Ok
Witnesses
Positive: 4736 Negative: 3521595264
Condition exists (1:r30=0x0 /\ 1:r31=0x2 /\ 1:r2=0x0) is validated
Hash=2d53b73338c965f720fa2a59a114a108
Time MP+lwsync+lmw-addr+BIS3 470.76

Test MP+lwsync+misaligned2+0 Allow
Histogram (4 states)
1575918529:> 1:r6=0x0; 1:r7=0x0;
130689727:> 1:r6=0x1100; 1:r7=0x0;
2278035 :> 1:r6=0x1122; 1:r7=0x0;
1812713709:> 1:r6=0x1122; 1:r7=0x22;
No
Witnesses
Positive: 0 Negative: 3521600000
Condition exists (1:r7=0x22 /\ 1:r6=0x22) is not validated
Hash=1bc484ca30e1d4c73cac3b674f11596d
Time MP+lwsync+misaligned2+0 3757.98

Test MP+lwsync+misaligned2+0x Allow
Histogram (4 states)
3195569462:> 1:r6=0x0; 1:r7=0x0;
235303338:> 1:r6=0x11; 1:r7=0x0;
1086734 :> 1:r6=0x2211; 1:r7=0x0;
3129640466:> 1:r6=0x2211; 1:r7=0x22;
No
Witnesses
Positive: 0 Negative: 6561600000
Condition exists (1:r7=0x22 /\ 1:r6=0x22) is not validated
Hash=feb4174f912d555de1d621ec4163f90d
Time MP+lwsync+misaligned2+0x 7729.74

Test MP+lwsync+misaligned2+1 Allow
Histogram (4 states)
1575703621:> 1:r6=0x0; 1:r7=0x0;
130373460:> 1:r6=0x1100; 1:r7=0x0;
2343854 :> 1:r6=0x1122; 1:r7=0x0;
1813179065:> 1:r6=0x1122; 1:r7=0x22;
No
Witnesses
Positive: 0 Negative: 3521600000
Condition exists (1:r7=0x22 /\ 1:r6=0x22) is not validated
Hash=8a14e4fbd42e85f0b5a5923d104bca29
Time MP+lwsync+misaligned2+1 3782.60

Test MP+lwsync+misaligned2+127 Allow
Histogram (6 states)
1454147852:> 1:r6=0x0; 1:r7=0x0;
331374946:> 1:r6=0x1100; 1:r7=0x0;
199456094:> 1:r6=0x1122; 1:r7=0x0;
1376184145:> 1:r6=0x1122; 1:r7=0x22;
100278  :> 1:r6=0x22; 1:r7=0x0;
336685  :> 1:r6=0x22; 1:r7=0x22;
Ok
Witnesses
Positive: 336685 Negative: 3361263315
Condition exists (1:r7=0x22 /\ 1:r6=0x22) is validated
Hash=e3ac92a8219ad2c6b84b185393e93ea4
Time MP+lwsync+misaligned2+127 3644.69

Test MP+lwsync+misaligned2+127x Allow
Histogram (6 states)
2664755031:> 1:r6=0x0; 1:r7=0x0;
1038266807:> 1:r6=0x11; 1:r7=0x0;
91743   :> 1:r6=0x2200; 1:r7=0x0;
3645339 :> 1:r6=0x2200; 1:r7=0x22;
294647647:> 1:r6=0x2211; 1:r7=0x0;
2560193433:> 1:r6=0x2211; 1:r7=0x22;
Ok
Witnesses
Positive: 3645339 Negative: 6557954661
Condition exists (1:r7=0x22 /\ 1:r6=0x2200) is validated
Hash=f3bb9663661808db582e385c5bf47959
Time MP+lwsync+misaligned2+127x 7791.18

Test MP+lwsync+misaligned2+15 Allow
Histogram (4 states)
1573299527:> 1:r6=0x0; 1:r7=0x0;
129631504:> 1:r6=0x1100; 1:r7=0x0;
2340693 :> 1:r6=0x1122; 1:r7=0x0;
1816328276:> 1:r6=0x1122; 1:r7=0x22;
No
Witnesses
Positive: 0 Negative: 3521600000
Condition exists (1:r7=0x22 /\ 1:r6=0x22) is not validated
Hash=09eb2200da1acc70f5908295980dbc17
Time MP+lwsync+misaligned2+15 3767.62

Test MP+lwsync+misaligned2+15x Allow
Histogram (4 states)
3197216007:> 1:r6=0x0; 1:r7=0x0;
235702370:> 1:r6=0x11; 1:r7=0x0;
1088538 :> 1:r6=0x2211; 1:r7=0x0;
3127593085:> 1:r6=0x2211; 1:r7=0x22;
No
Witnesses
Positive: 0 Negative: 6561600000
Condition exists (1:r7=0x22 /\ 1:r6=0x2200) is not validated
Hash=5859644e125bf9d7bfd9fc5d07c43d4d
Time MP+lwsync+misaligned2+15x 7760.73

Test MP+lwsync+misaligned2+1x Allow
Histogram (4 states)
3196448800:> 1:r6=0x0; 1:r7=0x0;
234248014:> 1:r6=0x11; 1:r7=0x0;
1100355 :> 1:r6=0x2211; 1:r7=0x0;
3129802831:> 1:r6=0x2211; 1:r7=0x22;
No
Witnesses
Positive: 0 Negative: 6561600000
Condition exists (1:r7=0x22 /\ 1:r6=0x2200) is not validated
Hash=e96a8a32234295ed572257b0d9b02aa1
Time MP+lwsync+misaligned2+1x 7747.85

Test MP+lwsync+misaligned2+255 Allow
Histogram (6 states)
2619057070:> 1:r6=0x0; 1:r7=0x0;
877755766:> 1:r6=0x1100; 1:r7=0x0;
449400141:> 1:r6=0x1122; 1:r7=0x0;
2615246397:> 1:r6=0x1122; 1:r7=0x22;
43751   :> 1:r6=0x22; 1:r7=0x0;
96875   :> 1:r6=0x22; 1:r7=0x22;
Ok
Witnesses
Positive: 96875 Negative: 6561503125
Condition exists (1:r7=0x22 /\ 1:r6=0x22) is validated
Hash=5545f9b2e5ad8b1cbc7540ff62c05f79
Time MP+lwsync+misaligned2+255 11838.82

Test MP+lwsync+misaligned2+255x Allow
Histogram (6 states)
2623847558:> 1:r6=0x0; 1:r7=0x0;
918806217:> 1:r6=0x11; 1:r7=0x0;
85609   :> 1:r6=0x2200; 1:r7=0x0;
4317979 :> 1:r6=0x2200; 1:r7=0x22;
316559030:> 1:r6=0x2211; 1:r7=0x0;
2697983607:> 1:r6=0x2211; 1:r7=0x22;
Ok
Witnesses
Positive: 4317979 Negative: 6557282021
Condition exists (1:r7=0x22 /\ 1:r6=0x2200) is validated
Hash=f5adf477f9f605e2e55d2df009568062
Time MP+lwsync+misaligned2+255x 11846.12

Test MP+lwsync+misaligned2+3 Allow
Histogram (4 states)
1570521075:> 1:r6=0x0; 1:r7=0x0;
129770807:> 1:r6=0x1100; 1:r7=0x0;
2410265 :> 1:r6=0x1122; 1:r7=0x0;
1818897853:> 1:r6=0x1122; 1:r7=0x22;
No
Witnesses
Positive: 0 Negative: 3521600000
Condition exists (1:r7=0x22 /\ 1:r6=0x22) is not validated
Hash=0bf89752ba8de18bb930a1a19445a305
Time MP+lwsync+misaligned2+3 3775.82

Test MP+lwsync+misaligned2+31 Allow
Histogram (2 states)
1713343877:> 1:r6=0x0; 1:r7=0x0;
1808256123:> 1:r6=0x0; 1:r7=0x22;
No
Witnesses
Positive: 0 Negative: 3521600000
Condition exists (1:r7=0x22 /\ 1:r6=0x22) is not validated
Hash=62d1eb07d62eb57516d78d2b376a6298
Time MP+lwsync+misaligned2+31 3777.12

Test MP+lwsync+misaligned2+31x Allow
Histogram (6 states)
2705138855:> 1:r6=0x0; 1:r7=0x0;
266448064:> 1:r6=0x11; 1:r7=0x0;
139026  :> 1:r6=0x2200; 1:r7=0x0;
25922   :> 1:r6=0x2200; 1:r7=0x22;
484380004:> 1:r6=0x2211; 1:r7=0x0;
3105468129:> 1:r6=0x2211; 1:r7=0x22;
Ok
Witnesses
Positive: 25922 Negative: 6561574078
Condition exists (1:r7=0x22 /\ 1:r6=0x2200) is validated
Hash=ee983ec47f422b8887d11cca9fa73aec
Time MP+lwsync+misaligned2+31x 7763.73

Test MP+lwsync+misaligned2+3x Allow
Histogram (4 states)
3198398779:> 1:r6=0x0; 1:r7=0x0;
236666420:> 1:r6=0x11; 1:r7=0x0;
1071672 :> 1:r6=0x2211; 1:r7=0x0;
3125463129:> 1:r6=0x2211; 1:r7=0x22;
No
Witnesses
Positive: 0 Negative: 6561600000
Condition exists (1:r7=0x22 /\ 1:r6=0x2200) is not validated
Hash=dfaf9708ecc5042d083d8d93aa9ad34a
Time MP+lwsync+misaligned2+3x 7771.93

Test MP+lwsync+misaligned2+511 Allow
Histogram (6 states)
2394809044:> 1:r6=0x0; 1:r7=0x0;
920784375:> 1:r6=0x1100; 1:r7=0x0;
563728097:> 1:r6=0x1122; 1:r7=0x0;
2681882379:> 1:r6=0x1122; 1:r7=0x22;
46020   :> 1:r6=0x22; 1:r7=0x0;
350085  :> 1:r6=0x22; 1:r7=0x22;
Ok
Witnesses
Positive: 350085 Negative: 6561249915
Condition exists (1:r7=0x22 /\ 1:r6=0x22) is validated
Hash=b515f22cbc9c7737eea50c2e3d374d15
Time MP+lwsync+misaligned2+511 19602.96

Test MP+lwsync+misaligned2+511x Allow
Histogram (6 states)
2565971816:> 1:r6=0x0; 1:r7=0x0;
1004957300:> 1:r6=0x11; 1:r7=0x0;
101739  :> 1:r6=0x2200; 1:r7=0x0;
5007476 :> 1:r6=0x2200; 1:r7=0x22;
355454105:> 1:r6=0x2211; 1:r7=0x0;
2630107564:> 1:r6=0x2211; 1:r7=0x22;
Ok
Witnesses
Positive: 5007476 Negative: 6556592524
Condition exists (1:r7=0x22 /\ 1:r6=0x2200) is validated
Hash=6e6293edd4a7a79a29ef95e026daa098
Time MP+lwsync+misaligned2+511x 19611.36

Test MP+lwsync+misaligned2+63 Allow
Histogram (6 states)
1525017728:> 1:r6=0x0; 1:r7=0x0;
117765696:> 1:r6=0x1100; 1:r7=0x0;
180925737:> 1:r6=0x1122; 1:r7=0x0;
1697628028:> 1:r6=0x1122; 1:r7=0x22;
240351  :> 1:r6=0x22; 1:r7=0x0;
22460   :> 1:r6=0x22; 1:r7=0x22;
Ok
Witnesses
Positive: 22460 Negative: 3521577540
Condition exists (1:r7=0x22 /\ 1:r6=0x22) is validated
Hash=923bcad1d1d9523d76242792a256129d
Time MP+lwsync+misaligned2+63 3791.48

Test MP+lwsync+misaligned2+63x Allow
Histogram (6 states)
2701249123:> 1:r6=0x0; 1:r7=0x0;
270175271:> 1:r6=0x11; 1:r7=0x0;
146512  :> 1:r6=0x2200; 1:r7=0x0;
25133   :> 1:r6=0x2200; 1:r7=0x22;
482417653:> 1:r6=0x2211; 1:r7=0x0;
3107586308:> 1:r6=0x2211; 1:r7=0x22;
Ok
Witnesses
Positive: 25133 Negative: 6561574867
Condition exists (1:r7=0x22 /\ 1:r6=0x2200) is validated
Hash=fd7484ca2cfd657550f66d5493ec36dc
Time MP+lwsync+misaligned2+63x 7764.72

Test MP+lwsync+misaligned2+7 Allow
Histogram (4 states)
1572453946:> 1:r6=0x0; 1:r7=0x0;
125965447:> 1:r6=0x1100; 1:r7=0x0;
2374625 :> 1:r6=0x1122; 1:r7=0x0;
1820805982:> 1:r6=0x1122; 1:r7=0x22;
No
Witnesses
Positive: 0 Negative: 3521600000
Condition exists (1:r7=0x22 /\ 1:r6=0x22) is not validated
Hash=7fe7d53d95440310d00482989fbf89ca
Time MP+lwsync+misaligned2+7 3761.12

Test MP+lwsync+misaligned2+7x Allow
Histogram (4 states)
3203837081:> 1:r6=0x0; 1:r7=0x0;
236002360:> 1:r6=0x11; 1:r7=0x0;
1057362 :> 1:r6=0x2211; 1:r7=0x0;
3120703197:> 1:r6=0x2211; 1:r7=0x22;
No
Witnesses
Positive: 0 Negative: 6561600000
Condition exists (1:r7=0x22 /\ 1:r6=0x2200) is not validated
Hash=4fca38a1b585dcb476436a3097f9c41a
Time MP+lwsync+misaligned2+7x 7774.63

Test MP+misaligned2+0+addr Allow
Histogram (3 states)
1618800939:> 1:r1=0x0; 1:r2=0x0;
4028757 :> 1:r1=0x0; 1:r2=0x22;
1898770304:> 1:r1=0x11; 1:r2=0x22;
No
Witnesses
Positive: 0 Negative: 3521600000
Condition exists (1:r1=0x11 /\ 1:r2=0x0) is not validated
Hash=f5807d167f317964b52597948396083c
Time MP+misaligned2+0+addr 3769.38

Test MP+misaligned2+0x+addr Allow
Histogram (3 states)
3022542485:> 1:r1=0x0; 1:r2=0x0;
2872907 :> 1:r1=0x0; 1:r2=0x11;
3376184608:> 1:r1=0x22; 1:r2=0x11;
No
Witnesses
Positive: 0 Negative: 6401600000
Condition exists (1:r1=0x22 /\ 1:r2=0x0) is not validated
Hash=d29d16ac387d88a52844556008da0476
Time MP+misaligned2+0x+addr 7546.75

Test MP+misaligned2+1+addr Allow
Histogram (3 states)
1544361646:> 1:r1=0x0; 1:r2=0x0;
3877978 :> 1:r1=0x0; 1:r2=0x22;
1813360376:> 1:r1=0x11; 1:r2=0x22;
No
Witnesses
Positive: 0 Negative: 3361600000
Condition exists (1:r1=0x11 /\ 1:r2=0x0) is not validated
Hash=796ea15f2e93c77daeecd2844fc7601b
Time MP+misaligned2+1+addr 3580.24

Test MP+misaligned2+127+addr Allow
Histogram (4 states)
1423618293:> 1:r1=0x0; 1:r2=0x0;
152031599:> 1:r1=0x0; 1:r2=0x22;
8148702 :> 1:r1=0x11; 1:r2=0x0;
1777801406:> 1:r1=0x11; 1:r2=0x22;
Ok
Witnesses
Positive: 8148702 Negative: 3353451298
Condition exists (1:r1=0x11 /\ 1:r2=0x0) is validated
Hash=b366574070e42438d7250a32a1c2d033
Time MP+misaligned2+127+addr 3669.00

Test MP+misaligned2+127x+addr Allow
Histogram (4 states)
2921437506:> 1:r1=0x0; 1:r2=0x0;
116444029:> 1:r1=0x0; 1:r2=0x11;
4305114 :> 1:r1=0x22; 1:r2=0x0;
3359413351:> 1:r1=0x22; 1:r2=0x11;
Ok
Witnesses
Positive: 4305114 Negative: 6397294886
Condition exists (1:r1=0x22 /\ 1:r2=0x0) is validated
Hash=4a2a9110e9eb0a7f86faaa3dca426a82
Time MP+misaligned2+127x+addr 7564.82

Test MP+misaligned2+15+addr Allow
Histogram (3 states)
1528613728:> 1:r1=0x0; 1:r2=0x0;
3898424 :> 1:r1=0x0; 1:r2=0x22;
1829087848:> 1:r1=0x11; 1:r2=0x22;
No
Witnesses
Positive: 0 Negative: 3361600000
Condition exists (1:r1=0x11 /\ 1:r2=0x0) is not validated
Hash=eda3df2a1db0ae02502aace91a11e479
Time MP+misaligned2+15+addr 3620.82

Test MP+misaligned2+15x+addr Allow
Histogram (3 states)
3030167913:> 1:r1=0x0; 1:r2=0x0;
2845372 :> 1:r1=0x0; 1:r2=0x11;
3368586715:> 1:r1=0x22; 1:r2=0x11;
No
Witnesses
Positive: 0 Negative: 6401600000
Condition exists (1:r1=0x22 /\ 1:r2=0x0) is not validated
Hash=865c3a43c5216533cb5f7fa1e52fdf98
Time MP+misaligned2+15x+addr 7555.43

Test MP+misaligned2+1x+addr Allow
Histogram (3 states)
3026098144:> 1:r1=0x0; 1:r2=0x0;
2884341 :> 1:r1=0x0; 1:r2=0x11;
3372617515:> 1:r1=0x22; 1:r2=0x11;
No
Witnesses
Positive: 0 Negative: 6401600000
Condition exists (1:r1=0x22 /\ 1:r2=0x0) is not validated
Hash=9c70e29e37437fa8adf9043a94f575ef
Time MP+misaligned2+1x+addr 7545.23

Test MP+misaligned2+255+addr Allow
Histogram (4 states)
2856187796:> 1:r1=0x0; 1:r2=0x0;
206845459:> 1:r1=0x0; 1:r2=0x22;
3853143 :> 1:r1=0x11; 1:r2=0x0;
3494713602:> 1:r1=0x11; 1:r2=0x22;
Ok
Witnesses
Positive: 3853143 Negative: 6557746857
Condition exists (1:r1=0x11 /\ 1:r2=0x0) is validated
Hash=69646edd257e8941c96a24ccc4d6597c
Time MP+misaligned2+255+addr 11835.35

Test MP+misaligned2+255x+addr Allow
Histogram (4 states)
2885318253:> 1:r1=0x0; 1:r2=0x0;
135619315:> 1:r1=0x0; 1:r2=0x11;
4069470 :> 1:r1=0x22; 1:r2=0x0;
3376592962:> 1:r1=0x22; 1:r2=0x11;
Ok
Witnesses
Positive: 4069470 Negative: 6397530530
Condition exists (1:r1=0x22 /\ 1:r2=0x0) is validated
Hash=657dc659768545e4c12cbf1c485e1520
Time MP+misaligned2+255x+addr 11542.13

Test MP+misaligned2+3+addr Allow
Histogram (3 states)
1535536895:> 1:r1=0x0; 1:r2=0x0;
3737185 :> 1:r1=0x0; 1:r2=0x22;
1822325920:> 1:r1=0x11; 1:r2=0x22;
No
Witnesses
Positive: 0 Negative: 3361600000
Condition exists (1:r1=0x11 /\ 1:r2=0x0) is not validated
Hash=2f22991d51b8bff2ce86b3e10b83b456
Time MP+misaligned2+3+addr 3573.97

Test MP+misaligned2+31+addr Allow
Histogram (3 states)
1531052689:> 1:r1=0x0; 1:r2=0x0;
7104378 :> 1:r1=0x0; 1:r2=0x22;
1823442933:> 1:r1=0x11; 1:r2=0x22;
No
Witnesses
Positive: 0 Negative: 3361600000
Condition exists (1:r1=0x11 /\ 1:r2=0x0) is not validated
Hash=7c69b28aae936c60e25c2a05ae60c5b4
Time MP+misaligned2+31+addr 3591.34

Test MP+misaligned2+31x+addr Allow
Histogram (4 states)
3026093399:> 1:r1=0x0; 1:r2=0x0;
4062656 :> 1:r1=0x0; 1:r2=0x11;
4697436 :> 1:r1=0x22; 1:r2=0x0;
3366746509:> 1:r1=0x22; 1:r2=0x11;
Ok
Witnesses
Positive: 4697436 Negative: 6396902564
Condition exists (1:r1=0x22 /\ 1:r2=0x0) is validated
Hash=8d98a2146a76c6814d5622fd3670cfb8
Time MP+misaligned2+31x+addr 7551.62

Test MP+misaligned2+3x+addr Allow
Histogram (3 states)
3032295606:> 1:r1=0x0; 1:r2=0x0;
2864206 :> 1:r1=0x0; 1:r2=0x11;
3366440188:> 1:r1=0x22; 1:r2=0x11;
No
Witnesses
Positive: 0 Negative: 6401600000
Condition exists (1:r1=0x22 /\ 1:r2=0x0) is not validated
Hash=5e285f1dee0dfdf6f8300e7c683a26fb
Time MP+misaligned2+3x+addr 7549.56

Test MP+misaligned2+511+addr Allow
Histogram (4 states)
2678769207:> 1:r1=0x0; 1:r2=0x0;
255132091:> 1:r1=0x0; 1:r2=0x22;
2857465 :> 1:r1=0x11; 1:r2=0x0;
3464841237:> 1:r1=0x11; 1:r2=0x22;
Ok
Witnesses
Positive: 2857465 Negative: 6398742535
Condition exists (1:r1=0x11 /\ 1:r2=0x0) is validated
Hash=0d2e5cbacd6617675a506ef0849b66c8
Time MP+misaligned2+511+addr 19060.44

Test MP+misaligned2+511x+addr Allow
Histogram (4 states)
2803302895:> 1:r1=0x0; 1:r2=0x0;
164773065:> 1:r1=0x0; 1:r2=0x11;
8905323 :> 1:r1=0x22; 1:r2=0x0;
3424618717:> 1:r1=0x22; 1:r2=0x11;
Ok
Witnesses
Positive: 8905323 Negative: 6392694677
Condition exists (1:r1=0x22 /\ 1:r2=0x0) is validated
Hash=bcf742896cc8d955d2cf07b6bd74fe5a
Time MP+misaligned2+511x+addr 19106.90

Test MP+misaligned2+63+addr Allow
Histogram (3 states)
1534144359:> 1:r1=0x0; 1:r2=0x0;
7993660 :> 1:r1=0x0; 1:r2=0x22;
1819461981:> 1:r1=0x11; 1:r2=0x22;
No
Witnesses
Positive: 0 Negative: 3361600000
Condition exists (1:r1=0x11 /\ 1:r2=0x0) is not validated
Hash=95b2a682c4f74eae51b89092f9f9cf9b
Time MP+misaligned2+63+addr 3577.58

Test MP+misaligned2+63x+addr Allow
Histogram (4 states)
3021942141:> 1:r1=0x0; 1:r2=0x0;
6147502 :> 1:r1=0x0; 1:r2=0x11;
4038850 :> 1:r1=0x22; 1:r2=0x0;
3369471507:> 1:r1=0x22; 1:r2=0x11;
Ok
Witnesses
Positive: 4038850 Negative: 6397561150
Condition exists (1:r1=0x22 /\ 1:r2=0x0) is validated
Hash=51df2a7c27ea150e6a33a6bb5d45b0af
Time MP+misaligned2+63x+addr 7550.60

Test MP+misaligned2+7+addr Allow
Histogram (3 states)
1539183205:> 1:r1=0x0; 1:r2=0x0;
3619011 :> 1:r1=0x0; 1:r2=0x22;
1818797784:> 1:r1=0x11; 1:r2=0x22;
No
Witnesses
Positive: 0 Negative: 3361600000
Condition exists (1:r1=0x11 /\ 1:r2=0x0) is not validated
Hash=88d162921cbe0a74341c6d9498df132f
Time MP+misaligned2+7+addr 3600.78

Test MP+misaligned2+7x+addr Allow
Histogram (3 states)
3027577500:> 1:r1=0x0; 1:r2=0x0;
2845506 :> 1:r1=0x0; 1:r2=0x11;
3371176994:> 1:r1=0x22; 1:r2=0x11;
No
Witnesses
Positive: 0 Negative: 6401600000
Condition exists (1:r1=0x22 /\ 1:r2=0x0) is not validated
Hash=1cec49b6545eb707b2d286b34fca780b
Time MP+misaligned2+7x+addr 7540.27

Test MP+std+lmw Allow
Histogram (4 states)
1727123829:> 1:r30=0x0; 1:r31=0x0;
10859964:> 1:r30=0x0; 1:r31=0x2;
1045722 :> 1:r30=0x1; 1:r31=0x0;
1622570485:> 1:r30=0x1; 1:r31=0x2;
Ok
Witnesses
Positive: 11905686 Negative: 3349694314
Condition exists (1:r30=0x1 /\ 1:r31=0x0 \/ 1:r30=0x0 /\ 1:r31=0x2) is validated
Hash=245bd2d5774977b74e44848b12e91382
Time MP+std+lmw 327.21

Test MP+stmw+addr+124 Allow
Histogram (4 states)
1408741021:> 1:r1=0x0; 1:r2=0x0;
206744907:> 1:r1=0x0; 1:r2=0x1;
8679657 :> 1:r1=0x2; 1:r2=0x0;
1737434415:> 1:r1=0x2; 1:r2=0x1;
Ok
Witnesses
Positive: 8679657 Negative: 3352920343
Condition exists (1:r1=0x2 /\ 1:r2=0x0) is validated
Hash=dac3793c1f133b330854f87ec28e3de6
Time MP+stmw+addr+124 1024.79

Test PPOCA-MIXED-1 Allow
Histogram (3 states)
1445498166:> 1:r1=0x0; 1:r4=0x0;
712033473:> 1:r1=0x0; 1:r4=0x1;
1204068361:> 1:r1=0x1; 1:r4=0x1;
No
Witnesses
Positive: 0 Negative: 3361600000
Condition exists (1:r1=0x1 /\ 1:r4=0x0) is not validated
Hash=aebf306dd226ed793d722589c301b44c
Time PPOCA-MIXED-1 461.24

Test PPOCA-MIXED-2 Allow
Histogram (3 states)
1461891210:> 1:r1=0x0; 1:r4=0x0;
691577451:> 1:r1=0x0; 1:r4=0x1;
1208131339:> 1:r1=0x1; 1:r4=0x1;
No
Witnesses
Positive: 0 Negative: 3361600000
Condition exists (1:r1=0x1 /\ 1:r4=0x0) is not validated
Hash=50edabc9992a6b3b968949aa2c08e7bc
Time PPOCA-MIXED-2 474.50

Test PPOCA-MIXED-3 Allow
Histogram (4 states)
1528920091:> 1:r1=0x0; 1:r4=0x0;
637325239:> 1:r1=0x0; 1:r4=0x1;
7       :> 1:r1=0x1; 1:r4=0x0;
1195354663:> 1:r1=0x1; 1:r4=0x1;
Ok
Witnesses
Positive: 7 Negative: 3361599993
Condition exists (1:r1=0x1 /\ 1:r4=0x0) is validated
Hash=6ba38b767764b7cea8de99215f4bdde0
Time PPOCA-MIXED-3 461.79

Test SCA-1 Allow
Histogram (3 states)
736436164:> 2:r3=0x0;
683148621:> 2:r3=0x1111;
681415215:> 2:r3=0x2222;
No
Witnesses
Positive: 0 Negative: 2101000000
Condition exists (2:r3=0x1122) is not validated
Hash=6d27889b5250317d0997422792dad485
Time SCA-1 595.50

