| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 6,019 of 8,042 | 25% | 446 of 554 | 19% | 347 | 430 | 1,233 | 1,680 | 59 | 101 | 1 | 5 |
| CVCTranslator | | 23% | | 17% | 291 | 355 | 1,057 | 1,396 | 42 | 70 | 0 | 1 |
| CVCPowerReal | | 0% | | 0% | 11 | 11 | 83 | 83 | 6 | 6 | 1 | 1 |
| RobustCVCTheoremProver | | 52% | | 31% | 36 | 47 | 77 | 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 |