| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 12 of 116 | 90% | 3 of 11 | 73% | 3 | 17 | 1 | 20 | 0 | 11 |
| argument(int) | | 40% | | 67% | 1 | 3 | 1 | 4 | 0 | 1 |
| intrinsicEquals(SymbolicExpression) | | 100% | | 67% | 2 | 4 | 0 | 1 | 0 | 1 |
| toString() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| QuantifierExpression(QuantifierExpression.Quantifier, SymbolicConstantExpression, CnfBooleanExpression) | | 100% | n/a | 0 | 1 | 0 | 5 | 0 | 1 | |
| atomString() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| intrinsicHashCode() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| kind() | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| variable() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| predicate() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| quantifier() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| numArguments() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 |