| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 190 of 277 | 31% | 24 of 31 | 22% | 21 | 30 | 38 | 58 | 7 | 12 | 1 | 2 |
| ProverFunctionInterpretation.java | | 0% | | 0% | 15 | 15 | 32 | 32 | 5 | 5 | 1 | 1 |
| Prove.java | | 71% | | 63% | 6 | 15 | 6 | 26 | 2 | 7 | 0 | 1 |