{
  "live_nodes": 994,
  "deepest_path": 79,
  "fanout_histogram": {
    "1": 652,
    "2": 90,
    "3": 57,
    "4": 131,
    "5": 19,
    "9": 1,
    "11": 2,
    "12": 12,
    "15": 1,
    "16": 1,
    "18": 1,
    "20": 1,
    "26": 1,
    "32": 1
  },
  "toggle_stats": null,
  "toggle_transitions": null,
  "logical_effort_deepest_path_min_delay": 335.08002702993707,
  "graph_logical_effort_worst_case_delay": 346.2105349026965,
  "fraig_did_converge": {
    "Yes": 3
  },
  "fraig_iteration_stats": [
    {
      "gate_count": 1177,
      "counterexample_count": 51,
      "proposed_equiv_classes": 142,
      "replacements_count": 22
    },
    {
      "gate_count": 1027,
      "counterexample_count": 59,
      "proposed_equiv_classes": 52,
      "replacements_count": 5
    },
    {
      "gate_count": 997,
      "counterexample_count": 67,
      "proposed_equiv_classes": 40,
      "replacements_count": 1
    },
    {
      "gate_count": 995,
      "counterexample_count": 67,
      "proposed_equiv_classes": 34,
      "replacements_count": 0
    }
  ]
}