| inferYearPredicate(ComparisonPredicate) |   | 55% | | 42% | 16 | 20 | 9 | 29 | 0 | 1 |
| inferPrefixPredicate(ComparisonPredicate) | | 71% | | 64% | 5 | 8 | 5 | 20 | 0 | 1 |
| nextDateFormatBoundary(String, Literal) | | 47% | | 28% | 5 | 7 | 5 | 9 | 0 | 1 |
| inferRoundingPredicate(ComparisonPredicate) | | 83% | | 82% | 4 | 15 | 5 | 34 | 0 | 1 |
| dateFormatBoundary(StringLikeLiteral, String) | | 52% | | 50% | 2 | 4 | 4 | 8 | 0 | 1 |
| inferDateFormatPredicate(ComparisonPredicate) | | 90% | | 73% | 7 | 14 | 6 | 31 | 0 | 1 |
| extractPrefix(Expression) | | 87% | | 66% | 6 | 10 | 2 | 17 | 0 | 1 |
| prefixSuccessor(String) | | 91% | | 60% | 4 | 6 | 3 | 12 | 0 | 1 |
| infer(ComparisonPredicate) | | 91% | | 87% | 1 | 5 | 0 | 8 | 0 | 1 |
| foldLiteral(Expression) | | 88% | | 83% | 1 | 4 | 2 | 9 | 0 | 1 |
| firstDayOfYear(BigInteger) | | 95% | | 50% | 2 | 3 | 1 | 3 | 0 | 1 |
| rewriteConjunction(And) | | 100% | | 100% | 0 | 6 | 0 | 19 | 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 |
| isDateSlot(Expression) | | 100% | | 66% | 2 | 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 |