| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 118 of 205 | 42% | 35 of 44 | 20% | 21 | 27 | 23 | 42 | 2 | 5 |
| from(Expression) | | 65% | | 57% | 4 | 8 | 6 | 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 |