| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 210 of 210 | 0% | 44 of 44 | 0% | 27 | 27 | 42 | 42 | 5 | 5 |
| from(Expression) | | 0% | | 0% | 8 | 8 | 18 | 18 | 1 | 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) | | 0% | | 0% | 4 | 4 | 3 | 3 | 1 | 1 |
| Predicates.ComparablePredicateImplicationRule.ComparablePredicateRange(Expression, Predicates.ComparablePredicateImplicationRule.Bound, Predicates.ComparablePredicateImplicationRule.Bound) | | 0% | n/a | 1 | 1 | 5 | 5 | 1 | 1 |