| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 7 of 81 | 91% | 0 of 0 | n/a | 1 | 11 | 1 | 19 | 1 | 11 |
| genericSimplify(SymbolicExpression) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| apply(MutableContext, Strategy, SymbolicExpression) | | 100% | n/a | 0 | 1 | 0 | 6 | 0 | 1 | |
| pushAssumption(BooleanExpression) | | 100% | n/a | 0 | 1 | 0 | 2 | 0 | 1 | |
| proveValid(BooleanExpression) | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| proveUnsat(BooleanExpression) | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| simplify(SymbolicObject) | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| intervalApproximation(NumericExpression) | | 100% | n/a | 0 | 1 | 0 | 2 | 0 | 1 | |
| popAssumption() | | 100% | n/a | 0 | 1 | 0 | 2 | 0 | 1 | |
| getFullAssumption() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| Simplification() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| util() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 |