| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,328 of 1,328 | 0% | 126 of 126 | 0% | 107 | 107 | 322 | 322 | 44 | 44 | 8 | 8 |
| CNFConverter | | 0% | | 0% | 56 | 56 | 186 | 186 | 11 | 11 | 1 | 1 |
| CloneHelper | | 0% | | 0% | 20 | 20 | 47 | 47 | 4 | 4 | 1 | 1 |
| CNFTest | | 0% | n/a | 9 | 9 | 38 | 38 | 9 | 9 | 1 | 1 | |
| CloneHelperTest | | 0% | n/a | 5 | 5 | 19 | 19 | 5 | 5 | 1 | 1 | |
| MultipleExpression | | 0% | | 0% | 12 | 12 | 21 | 21 | 10 | 10 | 1 | 1 |
| CNFConverter.Mule | | 0% | n/a | 1 | 1 | 5 | 5 | 1 | 1 | 1 | 1 | |
| MultiOrExpression | 0% | n/a | 2 | 2 | 3 | 3 | 2 | 2 | 1 | 1 | ||
| MultiAndExpression | 0% | n/a | 2 | 2 | 3 | 3 | 2 | 2 | 1 | 1 |