| extractBoundsOr(BooleanExpression, Map, Map) |   | 6% | | 4% | 13 | 14 | 31 | 33 | 0 | 1 |
| simplifyGT0(Polynomial, boolean) | | 60% | | 48% | 32 | 42 | 13 | 44 | 0 | 1 |
| simplifyEQ0(Polynomial) | | 46% | | 19% | 12 | 14 | 15 | 27 | 0 | 1 |
| assumptionAsInterval(SymbolicConstant) | | 55% | | 45% | 9 | 12 | 13 | 27 | 0 | 1 |
| extractBoundsBasic(BooleanExpression, Map, Map) | | 65% | | 57% | 7 | 13 | 9 | 26 | 0 | 1 |
| printConstantMap(PrintStream) | | 0% | | 0% | 2 | 2 | 8 | 8 | 1 | 1 |
| printBooleanMap(PrintStream) | | 0% | | 0% | 2 | 2 | 8 | 8 | 1 | 1 |
| extractEQ0Bounds(boolean, Polynomial, Map, Map) | | 74% | | 36% | 9 | 12 | 6 | 25 | 0 | 1 |
| substitutionMap() | | 67% | | 60% | 3 | 6 | 4 | 13 | 0 | 1 |
| printBoundMap(PrintStream) | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| extractGT0(Polynomial, Map, Map, boolean) | | 80% | | 56% | 5 | 10 | 2 | 23 | 0 | 1 |
| simplifyRelational(BooleanExpression) | | 79% | | 69% | 5 | 10 | 1 | 11 | 0 | 1 |
| initialize() | | 96% | | 80% | 4 | 11 | 0 | 33 | 0 | 1 |
| processHerbrandCast(Polynomial, Number) | | 87% | | 42% | 5 | 7 | 0 | 8 | 0 | 1 |
| updateConstantMap() | | 93% | | 75% | 3 | 7 | 0 | 10 | 0 | 1 |
| extractBounds() | | 95% | | 88% | 1 | 5 | 1 | 7 | 0 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| boundToIdeal(BoundsObject) | | 100% | | 100% | 0 | 6 | 0 | 16 | 0 | 1 |
| simplifyPolynomialWork(Polynomial) | | 100% | | 100% | 0 | 6 | 0 | 16 | 0 | 1 |
| getFullContext() | | 100% | | 100% | 0 | 3 | 0 | 10 | 0 | 1 |
| IdealSimplifier(SimplifierInfo, BooleanExpression) | | 100% | | n/a | 0 | 1 | 0 | 13 | 0 | 1 |
| extractRemainingFacts() | | 100% | | 100% | 0 | 3 | 0 | 7 | 0 | 1 |
| declareClauseFact(BooleanExpression) | | 100% | | 100% | 0 | 3 | 0 | 7 | 0 | 1 |
| simplifyExpression(SymbolicExpression) | | 100% | | 100% | 0 | 3 | 0 | 6 | 0 | 1 |
| simplifyPolynomial(Polynomial) | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| declareFact(SymbolicExpression, boolean) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| isNumericRelational(SymbolicExpression) | | 100% | | 75% | 1 | 3 | 0 | 1 | 0 | 1 |
| isRelational(SymbolicExpression.SymbolicOperator) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| extractGT0Bounds(boolean, Polynomial, Map, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getReducedContext() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| extractNEQ0Bounds(Polynomial, Map, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |