| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 4,866 of 7,530 | 35% | 420 of 571 | 26% | 322 | 432 | 1,084 | 1,720 | 41 | 96 | 1 | 5 |
| CVCTranslator | | 35% | | 24% | 263 | 350 | 919 | 1,423 | 25 | 65 | 0 | 1 |
| CVCPowerReal | | 0% | | 0% | 14 | 14 | 84 | 84 | 6 | 6 | 1 | 1 |
| RobustCVCTheoremProver | | 60% | | 44% | 37 | 52 | 66 | 174 | 3 | 10 | 0 | 1 |
| Translation | | 57% | 50% | 8 | 13 | 15 | 33 | 7 | 12 | 0 | 1 | |
| RobustCVCTheoremProverFactory | 100% | n/a | 0 | 3 | 0 | 6 | 0 | 3 | 0 | 1 |