Table 13 Sufficient configurations for ConLOG.
Conditional variable | Configuration | ||
|---|---|---|---|
M1 | M2 | M3 | |
CapPM | · |  ⊗  | |
CapBUS |  ⊗  | ||
CapPR |  ⊗  | · | |
Consistency | 0.821 | 0.801 | 0.807 |
Raw coverage | 0.785 | 0.807 | 0.803 |
Unique coverage | 0.046 | 0.024 | 0.039 |
Coverage | 0.924 | ||
Consistency | 0.810 | ||