| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 97 of 135 | 28% | 24 of 28 | 14% | 20 | 25 | 29 | 39 | 7 | 11 |
| compare(jTerm, boolean, boolean) | | 0% | | 0% | 8 | 8 | 15 | 15 | 1 | 1 |
| unify(jTerm, jUnifiedVector) | | 0% | | 0% | 5 | 5 | 7 | 7 | 1 | 1 |
| equivalence(jTerm, jEquivalenceMapping) | | 84% | | 66% | 2 | 4 | 2 | 6 | 0 | 1 |
| getName() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| duplicate(jVariable[]) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| copy(jVariableRegistry) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| registerVariables(jVariableVector) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| enumerateVariables(jVariableVector, boolean) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| jDouble(double) | | 100% | n/a | 0 | 1 | 0 | 4 | 0 | 1 | |
| toString(boolean) | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| getRealValue() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 |