| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 176 of 263 | 33% | 22 of 29 | 24% | 19 | 28 | 36 | 56 | 7 | 12 | 1 | 2 |
| ProverFunctionInterpretation.java | | 0% | | 0% | 15 | 15 | 32 | 32 | 5 | 5 | 1 | 1 |
| Prove.java | | 80% | | 77% | 4 | 13 | 4 | 24 | 2 | 7 | 0 | 1 |