| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 118 of 210 | 43% | 34 of 44 | 22% | 20 | 27 | 22 | 42 | 2 | 5 |
| from(Expression) | | 66% | | 64% | 3 | 8 | 5 | 18 | 0 | 1 |
| impliesLowerBound(Predicates.ComparablePredicateImplicationRule.Bound) | | 0% | | 0% | 7 | 7 | 8 | 8 | 1 | 1 |
| impliesUpperBound(Predicates.ComparablePredicateImplicationRule.Bound) | | 0% | | 0% | 7 | 7 | 8 | 8 | 1 | 1 |
| implies(Predicates.ComparablePredicateImplicationRule.ComparablePredicateRange) | | 40% | | 16% | 3 | 4 | 1 | 3 | 0 | 1 |
| Predicates.ComparablePredicateImplicationRule.ComparablePredicateRange(Expression, Predicates.ComparablePredicateImplicationRule.Bound, Predicates.ComparablePredicateImplicationRule.Bound) | | 100% | n/a | 0 | 1 | 0 | 5 | 0 | 1 |