{
  "live_nodes": 1060,
  "deepest_path": 35,
  "fanout_histogram": {
    "1": 789,
    "2": 172,
    "3": 10,
    "4": 6,
    "5": 30,
    "6": 2,
    "7": 1,
    "8": 1,
    "23": 2,
    "24": 1,
    "30": 1,
    "32": 2,
    "33": 1,
    "43": 1,
    "46": 1,
    "47": 1,
    "48": 1,
    "49": 1,
    "50": 1,
    "51": 1,
    "52": 1,
    "54": 1,
    "55": 1
  },
  "toggle_stats": null,
  "toggle_transitions": null,
  "logical_effort_deepest_path_min_delay": 150.44995996895517,
  "graph_logical_effort_worst_case_delay": 162.82481073028686,
  "fraig_did_converge": {
    "Yes": 4
  },
  "fraig_iteration_stats": [
    {
      "gate_count": 1391,
      "counterexample_count": 51,
      "proposed_equiv_classes": 196,
      "replacements_count": 64
    },
    {
      "gate_count": 1072,
      "counterexample_count": 66,
      "proposed_equiv_classes": 96,
      "replacements_count": 5
    },
    {
      "gate_count": 1064,
      "counterexample_count": 72,
      "proposed_equiv_classes": 78,
      "replacements_count": 1
    },
    {
      "gate_count": 1062,
      "counterexample_count": 74,
      "proposed_equiv_classes": 82,
      "replacements_count": 1
    },
    {
      "gate_count": 1061,
      "counterexample_count": 74,
      "proposed_equiv_classes": 66,
      "replacements_count": 0
    }
  ]
}