| GraphSimplifier |  | 0% |  | 0% | 136 | 136 | 342 | 342 | 27 | 27 | 1 | 1 |
| HyperGraph |   | 27% |   | 36% | 28 | 46 | 67 | 101 | 6 | 17 | 0 | 1 |
| SubgraphEnumerator |   | 78% |   | 72% | 15 | 35 | 19 | 102 | 0 | 6 | 0 | 1 |
| ConflictRulesMaker |   | 95% |   | 91% | 9 | 80 | 10 | 178 | 0 | 20 | 0 | 1 |
| CircleDetector |   | 86% |   | 67% | 9 | 26 | 11 | 59 | 1 | 9 | 0 | 1 |
| SubgraphEnumerator.EdgeCalculator |   | 93% |   | 85% | 8 | 38 | 7 | 90 | 0 | 10 | 0 | 1 |
| GraphSimplifier.SimplificationResult |  | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 | 1 | 1 |
| GraphSimplifier.BestSimplification |  | 0% | | n/a | 2 | 2 | 5 | 5 | 2 | 2 | 1 | 1 |
| GraphSimplifier.ProposedSimplificationStep | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |
| HyperGraph.Builder |  | 99% |   | 94% | 3 | 39 | 1 | 136 | 0 | 14 | 0 | 1 |
| SubgraphEnumerator.NeighborhoodCalculator |  | 100% |  | 100% | 0 | 8 | 0 | 16 | 0 | 2 | 0 | 1 |
| ConflictRulesMaker.ValEntry |  | 100% | | n/a | 0 | 1 | 0 | 9 | 0 | 1 | 0 | 1 |