{
  "and_nodes": 2941.0,
  "deepest_path": 24,
  "depth": 24.0,
  "fanout_histogram": {
    "1": 1561,
    "11": 2,
    "14": 4,
    "18": 1,
    "2": 1074,
    "27": 1,
    "3": 216,
    "4": 35,
    "5": 14,
    "6": 9,
    "7": 4,
    "8": 4,
    "9": 6
  },
  "fraig_did_converge": {
    "Yes": 9
  },
  "fraig_iteration_stats": [
    {
      "counterexample_count": 189,
      "gate_count": 3635,
      "proposed_equiv_classes": 830,
      "replacements_count": 217
    },
    {
      "counterexample_count": 334,
      "gate_count": 3217,
      "proposed_equiv_classes": 658,
      "replacements_count": 82
    },
    {
      "counterexample_count": 447,
      "gate_count": 3111,
      "proposed_equiv_classes": 644,
      "replacements_count": 57
    },
    {
      "counterexample_count": 514,
      "gate_count": 3049,
      "proposed_equiv_classes": 592,
      "replacements_count": 35
    },
    {
      "counterexample_count": 537,
      "gate_count": 3011,
      "proposed_equiv_classes": 528,
      "replacements_count": 25
    },
    {
      "counterexample_count": 564,
      "gate_count": 2984,
      "proposed_equiv_classes": 502,
      "replacements_count": 19
    },
    {
      "counterexample_count": 575,
      "gate_count": 2964,
      "proposed_equiv_classes": 468,
      "replacements_count": 12
    },
    {
      "counterexample_count": 582,
      "gate_count": 2952,
      "proposed_equiv_classes": 462,
      "replacements_count": 8
    },
    {
      "counterexample_count": 587,
      "gate_count": 2944,
      "proposed_equiv_classes": 454,
      "replacements_count": 2
    },
    {
      "counterexample_count": 587,
      "gate_count": 2942,
      "proposed_equiv_classes": 452,
      "replacements_count": 0
    }
  ],
  "graph_logical_effort_worst_case_delay": 93.69621486720082,
  "live_nodes": 2941,
  "logical_effort_deepest_path_min_delay": 91.27202157816888,
  "toggle_stats": null,
  "toggle_transitions": null
}