| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 103 of 103 | 0% | 22 of 22 | 0% | 18 | 18 | 17 | 17 | 7 | 7 |
| isValid() | | 0% | | 0% | 9 | 9 | 9 | 9 | 1 | 1 |
| SubstitutionVisitor.AbstractUnifyRule(SubstitutionVisitor.Operand, SubstitutionVisitor.Operand, int) | | 0% | | 0% | 3 | 3 | 3 | 3 | 1 | 1 |
| static {...} | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| operand(Class, SubstitutionVisitor.Operand[]) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| any(Class) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| query(int) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| target(int) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 |