| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 5,195 of 7,510 | 30% | 415 of 543 | 23% | 323 | 418 | 1,175 | 1,725 | 50 | 96 | 1 | 5 |
| CVCTranslator | | 30% | | 21% | 268 | 343 | 997 | 1,430 | 33 | 65 | 0 | 1 |
| CVCPowerReal | | 0% | | 0% | 11 | 11 | 83 | 83 | 6 | 6 | 1 | 1 |
| RobustCVCTheoremProver | | 53% | | 35% | 36 | 48 | 80 | 173 | 4 | 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 |