| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 151 of 954 | 84% | 34 of 135 | 75% | 30 | 104 | 21 | 164 | 0 | 33 | 0 | 4 |
| CnfFactory | | 85% | | 81% | 16 | 76 | 21 | 139 | 0 | 19 | 0 | 1 |
| CnfExpression | | 78% | | 50% | 11 | 20 | 0 | 19 | 0 | 9 | 0 | 1 |
| CnfFactory.new Object() {...} | | 87% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | |
| CnfSymbolicConstant | | 81% | | 50% | 3 | 7 | 0 | 6 | 0 | 4 | 0 | 1 |