{
  "and_nodes": 56613.0,
  "deepest_path": 838,
  "depth": 838.0,
  "fanout_histogram": {
    "0": 21169,
    "1": 37991,
    "10": 38,
    "100": 2,
    "101": 2,
    "102": 2,
    "103": 2,
    "104": 2,
    "105": 3,
    "106": 3,
    "107": 4,
    "108": 1,
    "109": 1,
    "11": 27,
    "110": 1,
    "111": 1,
    "112": 1,
    "113": 1,
    "114": 1,
    "115": 1,
    "116": 1,
    "117": 1,
    "118": 1,
    "119": 1,
    "12": 42,
    "120": 2,
    "121": 1,
    "122": 1,
    "123": 1,
    "124": 1,
    "125": 1,
    "126": 1,
    "127": 1,
    "128": 1,
    "129": 3,
    "13": 15,
    "130": 5,
    "131": 1,
    "132": 2,
    "133": 2,
    "134": 1,
    "135": 1,
    "136": 1,
    "137": 1,
    "138": 1,
    "139": 1,
    "14": 39,
    "140": 1,
    "141": 1,
    "142": 1,
    "143": 1,
    "144": 1,
    "145": 3,
    "146": 3,
    "147": 1,
    "148": 2,
    "149": 1,
    "15": 66,
    "150": 1,
    "151": 1,
    "152": 1,
    "153": 4,
    "154": 3,
    "155": 1,
    "156": 1,
    "157": 3,
    "158": 3,
    "159": 1,
    "16": 18,
    "160": 4,
    "161": 3,
    "162": 2,
    "163": 1,
    "164": 2,
    "166": 1,
    "17": 14,
    "18": 16,
    "180": 1,
    "19": 11,
    "192": 1,
    "196": 1,
    "2": 6726,
    "20": 7,
    "204": 1,
    "208": 1,
    "21": 21,
    "210": 1,
    "211": 1,
    "215": 1,
    "22": 15,
    "226": 2,
    "23": 7,
    "24": 10,
    "25": 15,
    "256": 1,
    "26": 9,
    "27": 6,
    "274": 2,
    "28": 8,
    "288": 1,
    "29": 13,
    "298": 2,
    "3": 1747,
    "30": 14,
    "304": 1,
    "31": 20,
    "310": 2,
    "312": 1,
    "316": 3,
    "318": 1,
    "32": 4,
    "320": 2,
    "321": 2,
    "324": 1,
    "326": 1,
    "33": 13,
    "34": 6,
    "35": 11,
    "36": 6,
    "37": 8,
    "38": 6,
    "384": 2,
    "39": 7,
    "4": 8784,
    "40": 6,
    "41": 5,
    "42": 3,
    "426": 2,
    "428": 1,
    "43": 5,
    "432": 1,
    "44": 7,
    "440": 1,
    "45": 4,
    "456": 1,
    "46": 6,
    "468": 1,
    "47": 3,
    "48": 4,
    "49": 5,
    "5": 437,
    "50": 5,
    "51": 8,
    "512": 1,
    "52": 6,
    "53": 6,
    "532": 2,
    "534": 1,
    "538": 1,
    "54": 6,
    "546": 1,
    "55": 4,
    "553": 1,
    "56": 5,
    "57": 105,
    "58": 6,
    "59": 2,
    "6": 169,
    "60": 3,
    "61": 4,
    "62": 6,
    "63": 7,
    "64": 6,
    "65": 2,
    "66": 2,
    "67": 3,
    "68": 2,
    "69": 3,
    "7": 172,
    "70": 3,
    "71": 2,
    "72": 2,
    "73": 2,
    "74": 2,
    "75": 3,
    "76": 5,
    "77": 2,
    "78": 2,
    "79": 2,
    "8": 39,
    "80": 2,
    "81": 2,
    "82": 2,
    "83": 2,
    "84": 2,
    "85": 2,
    "86": 2,
    "87": 2,
    "88": 2,
    "89": 2,
    "9": 62,
    "90": 2,
    "91": 2,
    "92": 2,
    "93": 3,
    "94": 2,
    "95": 2,
    "96": 2,
    "97": 7,
    "98": 2,
    "99": 2
  },
  "fraig_did_converge": {
    "Yes": 0
  },
  "fraig_iteration_stats": [
    {
      "counterexample_count": 0,
      "gate_count": 78317,
      "proposed_equiv_classes": 2,
      "replacements_count": 0
    }
  ],
  "graph_logical_effort_worst_case_delay": 4135.0209205586525,
  "live_nodes": 56613,
  "logical_effort_deepest_path_min_delay": null,
  "toggle_stats": null,
  "toggle_transitions": null
}