| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 748 of 2,028 | 63% | 53 of 161 | 67% | 47 | 123 | 125 | 367 | 7 | 29 | 0 | 3 |
| CVC3TheoremProver2 | | 60% | | 67% | 46 | 120 | 124 | 365 | 6 | 26 | 0 | 1 |
| CVC3TheoremProver2.new Object() {...} | | 86% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | |
| CVC3TheoremProverFactory | 67% | n/a | 1 | 2 | 1 | 2 | 1 | 2 | 0 | 1 |