{ "and_nodes": 4072.0, "deepest_path": 223, "depth": 223.0, "fanout_histogram": { "0": 803, "1": 2808, "10": 18, "11": 6, "12": 22, "13": 2, "14": 2, "15": 4, "16": 4, "17": 4, "18": 4, "19": 4, "2": 547, "20": 1, "21": 2, "22": 3, "23": 3, "24": 2, "25": 4, "26": 3, "27": 3, "28": 4, "29": 2, "3": 287, "30": 1, "31": 2, "34": 2, "36": 1, "37": 1, "4": 263, "40": 2, "42": 1, "46": 3, "48": 1, "5": 104, "50": 2, "51": 2, "54": 1, "56": 1, "58": 1, "6": 27, "66": 3, "68": 2, "7": 13, "72": 1, "8": 8, "82": 3, "84": 1, "9": 5 }, "fraig_did_converge": null, "fraig_iteration_stats": null, "graph_logical_effort_worst_case_delay": 1143.738994027465, "live_nodes": 4072, "logical_effort_deepest_path_min_delay": 1094.3733088115027, "toggle_stats": null, "toggle_transitions": null }