| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 623 of 5,709 | 89% | 95 of 588 | 83% | 83 | 409 | 96 | 1,032 | 6 | 110 | 0 | 12 |
| HyperGraph.java | 77% | 73% | 16 | 73 | 43 | 213 | 2 | 29 | 0 | 2 | ||
| SubgraphEnumerator.java | 85% | 85% | 17 | 83 | 23 | 212 | 1 | 19 | 0 | 3 | ||
| GraphSimplifier.java | 93% | 81% | 39 | 146 | 19 | 361 | 3 | 32 | 0 | 4 | ||
| ConflictRulesMaker.java | 95% | 93% | 7 | 81 | 8 | 187 | 0 | 21 | 0 | 2 | ||
| CircleDetector.java | 97% | 88% | 4 | 26 | 3 | 59 | 0 | 9 | 0 | 1 |