| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 610 of 5,850 | 89% | 95 of 614 | 84% | 84 | 424 | 95 | 1,060 | 6 | 112 | 0 | 12 |
| HyperGraph.java | 79% | 78% | 18 | 88 | 43 | 241 | 2 | 31 | 0 | 2 | ||
| SubgraphEnumerator.java | 85% | 85% | 17 | 83 | 23 | 212 | 1 | 19 | 0 | 3 | ||
| GraphSimplifier.java | 93% | 82% | 38 | 146 | 18 | 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 |