| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,214 of 4,746 | 74% | 144 of 392 | 63% | 114 | 314 | 205 | 879 | 6 | 88 | 0 | 6 |
| CVC3ModelFinder | | 49% | | 46% | 72 | 119 | 141 | 335 | 3 | 23 | 0 | 1 |
| CVC3TheoremProver | | 88% | | 80% | 38 | 185 | 59 | 521 | 3 | 59 | 0 | 1 |
| CVC3TheoremProver.new Object() {...} | | 86% | n/a | 0 | 1 | 0 | 3 | 0 | 1 | 0 | 1 | |
| IntDivisionInfo | | 68% | | 25% | 4 | 6 | 5 | 19 | 0 | 2 | 0 | 1 |
| CVC3ModelFinder.new Object() {...} | | 87% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | |
| CVC3TheoremProverFactory | 100% | n/a | 0 | 2 | 0 | 4 | 0 | 2 | 0 | 1 |