| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 147 of 147 | 0% | 32 of 32 | 0% | 27 | 27 | 43 | 43 | 11 | 11 |
| compare(jTerm, boolean, boolean) | | 0% | | 0% | 10 | 10 | 19 | 19 | 1 | 1 |
| unify(jTerm, jUnifiedVector) | | 0% | | 0% | 5 | 5 | 7 | 7 | 1 | 1 |
| equivalence(jTerm, jEquivalenceMapping) | | 0% | | 0% | 4 | 4 | 6 | 6 | 1 | 1 |
| jLong(long) | | 0% | n/a | 1 | 1 | 4 | 4 | 1 | 1 | |
| getName() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| toString(boolean) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| getIntegerValue() | | 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 |