| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 5,707 of 8,042 | 29% | 421 of 554 | 24% | 334 | 430 | 1,164 | 1,680 | 55 | 101 | 1 | 5 |
| CVCTranslator | | 28% | | 22% | 279 | 355 | 991 | 1,396 | 38 | 70 | 0 | 1 |
| CVCPowerReal | | 0% | | 0% | 11 | 11 | 83 | 83 | 6 | 6 | 1 | 1 |
| RobustCVCTheoremProver | | 53% | | 35% | 35 | 47 | 74 | 160 | 3 | 9 | 0 | 1 |
| Translation | | 57% | 50% | 8 | 13 | 15 | 33 | 7 | 12 | 0 | 1 | |
| RobustCVCTheoremProverFactory | 91% | n/a | 1 | 4 | 1 | 8 | 1 | 4 | 0 | 1 |