| GraphSimplifier |  | 0% |  | 0% | 136 | 136 | 342 | 342 | 27 | 27 | 1 | 1 |
| ConflictRulesMaker |  | 0% |  | 0% | 80 | 80 | 178 | 178 | 20 | 20 | 1 | 1 |
| HyperGraph.Builder |  | 0% |  | 0% | 39 | 39 | 136 | 136 | 14 | 14 | 1 | 1 |
| HyperGraph |  | 0% |  | 0% | 46 | 46 | 101 | 101 | 17 | 17 | 1 | 1 |
| SubgraphEnumerator.EdgeCalculator |  | 0% |  | 0% | 38 | 38 | 90 | 90 | 10 | 10 | 1 | 1 |
| SubgraphEnumerator |  | 0% |  | 0% | 35 | 35 | 102 | 102 | 6 | 6 | 1 | 1 |
| CircleDetector |  | 0% |  | 0% | 26 | 26 | 59 | 59 | 9 | 9 | 1 | 1 |
| SubgraphEnumerator.NeighborhoodCalculator |  | 0% |  | 0% | 8 | 8 | 16 | 16 | 2 | 2 | 1 | 1 |
| ConflictRulesMaker.ValEntry |  | 0% | | n/a | 1 | 1 | 9 | 9 | 1 | 1 | 1 | 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 |