| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 58 of 259 | 77% | 10 of 28 | 64% | 7 | 22 | 4 | 58 | 1 | 8 |
| partitionSelectionBaseHashCode() | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | ||
| partitionSelectionBaseEquals(PartitionSelection) | 21% | 10% | 5 | 6 | 2 | 4 | 0 | 1 | ||
| rewriteAppliedPartitionConjuncts(Collection, Map) | 96% | 91% | 1 | 7 | 1 | 14 | 0 | 1 | ||
| buildSlotReplaceMap(Map) | 100% | 100% | 0 | 4 | 0 | 9 | 0 | 1 | ||
| PartitionSelection(boolean, boolean, Collection, List, Set) | 100% | n/a | 0 | 1 | 0 | 7 | 0 | 1 | ||
| PartitionSelection(boolean, PartitionSelection) | 100% | n/a | 0 | 1 | 0 | 8 | 0 | 1 | ||
| PartitionSelection(boolean, boolean, PartitionSelection) | 100% | n/a | 0 | 1 | 0 | 8 | 0 | 1 | ||
| PartitionSelection(boolean, boolean) | 100% | n/a | 0 | 1 | 0 | 7 | 0 | 1 |