| GraphSimplifier |  | 0% |  | 0% | 136 | 136 | 342 | 342 | 27 | 27 | 1 | 1 |
| ConflictRulesMaker |   | 41% |   | 5% | 76 | 80 | 152 | 178 | 16 | 20 | 0 | 1 |
| HyperGraph |   | 17% |   | 22% | 32 | 46 | 78 | 101 | 7 | 17 | 0 | 1 |
| CircleDetector |  | 0% |  | 0% | 26 | 26 | 59 | 59 | 9 | 9 | 1 | 1 |
| HyperGraph.Builder |   | 77% |   | 68% | 16 | 39 | 33 | 136 | 2 | 14 | 0 | 1 |
| SubgraphEnumerator |   | 65% |   | 48% | 23 | 35 | 33 | 102 | 0 | 6 | 0 | 1 |
| SubgraphEnumerator.EdgeCalculator |   | 78% |   | 44% | 23 | 38 | 22 | 90 | 1 | 10 | 0 | 1 |
| SubgraphEnumerator.NeighborhoodCalculator |   | 51% |   | 25% | 5 | 8 | 7 | 16 | 0 | 2 | 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 |
| ConflictRulesMaker.ValEntry |  | 100% | | n/a | 0 | 1 | 0 | 9 | 0 | 1 | 0 | 1 |