| inferDateFormatPredicate(ComparisonPredicate) |   | 94% | | 80% | 5 | 14 | 4 | 31 | 0 | 1 |
| inferRoundingPredicate(ComparisonPredicate) | | 96% | | 89% | 3 | 15 | 3 | 34 | 0 | 1 |
| prefixSuccessor(String) | | 94% | | 70% | 3 | 6 | 2 | 12 | 0 | 1 |
| inferPrefixPredicate(ComparisonPredicate) | | 97% | | 92% | 1 | 8 | 1 | 20 | 0 | 1 |
| foldLiteral(Expression) | | 88% | | 83% | 1 | 4 | 2 | 9 | 0 | 1 |
| inferYearPredicate(ComparisonPredicate) | | 98% | | 86% | 5 | 20 | 1 | 29 | 0 | 1 |
| extractPrefix(Expression) | | 97% | | 66% | 6 | 10 | 1 | 17 | 0 | 1 |
| nextDateFormatBoundary(String, Literal) | | 96% | | 85% | 1 | 7 | 1 | 9 | 0 | 1 |
| rewriteConjunction(And) | | 100% | | 100% | 0 | 6 | 0 | 19 | 0 | 1 |
| dateFormatBoundary(StringLikeLiteral, String) | | 100% | | 100% | 0 | 4 | 0 | 8 | 0 | 1 |
| infer(ComparisonPredicate) | | 100% | | 75% | 2 | 5 | 0 | 8 | 0 | 1 |
| coerceAndFoldRight(ComparisonPredicate) | | 100% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| rewriteDisjunction(Or) | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| appendInferredPredicate(ComparisonPredicate) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| inferredDatePredicate(ComparisonPredicate) | | 100% | | 66% | 2 | 4 | 0 | 6 | 0 | 1 |
| inferForPruning(Expression) | | 100% | | 100% | 0 | 4 | 0 | 7 | 0 | 1 |
| firstDayOfYear(BigInteger) | | 100% | | 75% | 1 | 3 | 0 | 3 | 0 | 1 |
| isDateSlot(Expression) | | 100% | | 83% | 1 | 4 | 0 | 2 | 0 | 1 |
| inferredPredicate(ComparisonPredicate) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$infer$2(ComparisonPredicate) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$infer$1(ComparisonPredicate) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$infer$0(ComparisonPredicate) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |