| 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.java | | 0% | | 0% | 57 | 57 | 191 | 191 | 12 | 12 | 2 | 2 |
| CloneHelper.java | | 0% | | 0% | 20 | 20 | 47 | 47 | 4 | 4 | 1 | 1 |
| CNFTest.java | | 0% | n/a | 9 | 9 | 38 | 38 | 9 | 9 | 1 | 1 | |
| CloneHelperTest.java | | 0% | n/a | 5 | 5 | 19 | 19 | 5 | 5 | 1 | 1 | |
| MultipleExpression.java | | 0% | | 0% | 12 | 12 | 21 | 21 | 10 | 10 | 1 | 1 |
| MultiAndExpression.java | 0% | n/a | 2 | 2 | 3 | 3 | 2 | 2 | 1 | 1 | ||
| MultiOrExpression.java | 0% | n/a | 2 | 2 | 3 | 3 | 2 | 2 | 1 | 1 |