Table 10 Sufficient configurations for ConCNSTR.
Conditional variable | Configuration | ||
|---|---|---|---|
M1 | M2 | M3 | |
CapOM | · |  ⊗  | |
CapPM |  ⊗  | ||
CapPROC |  ⊗  | · | |
Consistency | 0.787 | 0.821 | 0.787 |
Raw coverage | 0.797 | 0.771 | 0.809 |
Unique coverage | 0.045 | 0.022 | 0.049 |
Coverage | 0.935 | ||
Consistency | 0.803 | ||