| ConditionalSimplification.java |  | 0% | | 0% | 15 | 15 | 43 | 43 | 8 | 8 | 2 | 2 |
| Simplification.java |  | 75% | | 57% | 14 | 39 | 19 | 84 | 2 | 20 | 0 | 2 |
| ComputerModuloSimplification.java | | 37% | | 16% | 6 | 9 | 16 | 30 | 0 | 3 | 0 | 1 |
| PolynomialSimplification.java | | 61% | | 50% | 5 | 12 | 8 | 30 | 0 | 5 | 0 | 1 |
| OrSimplification.java | | 80% | | 81% | 3 | 11 | 6 | 28 | 0 | 3 | 0 | 1 |
| GenericSimplification.java | | 91% | | 87% | 5 | 28 | 4 | 64 | 0 | 7 | 0 | 1 |
| RationalPowerSimplification.java | | 96% | | 85% | 5 | 22 | 3 | 73 | 0 | 5 | 0 | 1 |
| QuantifierSimplification.java | | 92% | | 80% | 4 | 13 | 3 | 35 | 0 | 3 | 0 | 1 |
| ArrayLambdaSimplification.java | | 94% | | 70% | 3 | 9 | 1 | 35 | 0 | 4 | 0 | 1 |
| PowerSimplification.java | | 92% | | 61% | 7 | 13 | 4 | 32 | 0 | 4 | 0 | 1 |
| LambdaSimplification.java | | 80% | | 50% | 2 | 5 | 2 | 12 | 0 | 3 | 0 | 1 |
| NumericOrSimplification.java | | 84% | | 75% | 1 | 5 | 3 | 16 | 0 | 3 | 0 | 1 |
| ArrayReadSimplification.java | | 96% | | 85% | 4 | 20 | 3 | 46 | 0 | 6 | 0 | 1 |
| ConditionalSimplification2.java | | 97% | | 83% | 2 | 9 | 1 | 22 | 0 | 3 | 0 | 1 |
| SubContextSimplification.java | | 90% | | 50% | 1 | 4 | 1 | 7 | 0 | 3 | 0 | 1 |