{
  "live_nodes": 1095,
  "deepest_path": 73,
  "fanout_histogram": {
    "1": 717,
    "2": 171,
    "3": 76,
    "4": 28,
    "5": 41,
    "6": 19,
    "7": 1,
    "9": 2,
    "13": 2,
    "23": 1,
    "33": 1,
    "51": 1,
    "59": 1,
    "60": 1,
    "64": 1,
    "65": 1
  },
  "toggle_stats": null,
  "toggle_transitions": null,
  "logical_effort_deepest_path_min_delay": 368.8214954926932,
  "graph_logical_effort_worst_case_delay": 386.27821226015294,
  "fraig_did_converge": {
    "Yes": 4
  },
  "fraig_iteration_stats": [
    {
      "gate_count": 1594,
      "counterexample_count": 101,
      "proposed_equiv_classes": 208,
      "replacements_count": 14
    },
    {
      "gate_count": 1187,
      "counterexample_count": 171,
      "proposed_equiv_classes": 238,
      "replacements_count": 41
    },
    {
      "gate_count": 1142,
      "counterexample_count": 193,
      "proposed_equiv_classes": 142,
      "replacements_count": 8
    },
    {
      "gate_count": 1100,
      "counterexample_count": 194,
      "proposed_equiv_classes": 110,
      "replacements_count": 2
    },
    {
      "gate_count": 1096,
      "counterexample_count": 194,
      "proposed_equiv_classes": 108,
      "replacements_count": 0
    }
  ]
}