{
  "live_nodes": 2867,
  "deepest_path": 24,
  "fanout_histogram": {
    "1": 1547,
    "2": 1021,
    "3": 211,
    "4": 41,
    "5": 10,
    "6": 12,
    "7": 9,
    "8": 3,
    "9": 2,
    "97": 1
  },
  "toggle_stats": null,
  "toggle_transitions": null,
  "logical_effort_deepest_path_min_delay": 87.68395094350416,
  "graph_logical_effort_worst_case_delay": 88.95929413003672,
  "fraig_did_converge": {
    "Yes": 13
  },
  "fraig_iteration_stats": [
    {
      "gate_count": 3635,
      "counterexample_count": 191,
      "proposed_equiv_classes": 830,
      "replacements_count": 217
    },
    {
      "gate_count": 3217,
      "counterexample_count": 328,
      "proposed_equiv_classes": 632,
      "replacements_count": 77
    },
    {
      "gate_count": 3118,
      "counterexample_count": 458,
      "proposed_equiv_classes": 652,
      "replacements_count": 56
    },
    {
      "gate_count": 3056,
      "counterexample_count": 519,
      "proposed_equiv_classes": 572,
      "replacements_count": 42
    },
    {
      "gate_count": 3010,
      "counterexample_count": 547,
      "proposed_equiv_classes": 528,
      "replacements_count": 12
    },
    {
      "gate_count": 2997,
      "counterexample_count": 565,
      "proposed_equiv_classes": 498,
      "replacements_count": 21
    },
    {
      "gate_count": 2976,
      "counterexample_count": 580,
      "proposed_equiv_classes": 480,
      "replacements_count": 19
    },
    {
      "gate_count": 2957,
      "counterexample_count": 586,
      "proposed_equiv_classes": 464,
      "replacements_count": 9
    },
    {
      "gate_count": 2947,
      "counterexample_count": 594,
      "proposed_equiv_classes": 462,
      "replacements_count": 5
    },
    {
      "gate_count": 2942,
      "counterexample_count": 597,
      "proposed_equiv_classes": 452,
      "replacements_count": 4
    },
    {
      "gate_count": 2938,
      "counterexample_count": 607,
      "proposed_equiv_classes": 452,
      "replacements_count": 3
    },
    {
      "gate_count": 2935,
      "counterexample_count": 609,
      "proposed_equiv_classes": 444,
      "replacements_count": 10
    },
    {
      "gate_count": 2925,
      "counterexample_count": 610,
      "proposed_equiv_classes": 446,
      "replacements_count": 57
    },
    {
      "gate_count": 2868,
      "counterexample_count": 610,
      "proposed_equiv_classes": 442,
      "replacements_count": 0
    }
  ]
}