{"file": "enum_N3_t0_prove3_certified.json", "t": 0, "N": 3, "certificates": 2, "valid": 2, "invalid": [], "min_total_of_valid": 3.0}
{"file": "enum_N3_t1_prove7_certified.json", "t": 1, "N": 7, "certificates": 18, "valid": 18, "invalid": [], "min_total_of_valid": 7.5}
{"file": "enum_N3_t2_prove9_certified.json", "t": 2, "N": 9, "certificates": 435, "valid": 435, "invalid": [], "min_total_of_valid": 16.0}
