{"file": "tampered_t1.json", "t": 1, "N": 7, "certificates": 3, "valid": 1, "invalid": [[1, "configs=81 cands=108 max_colsum=2.000000000000 total=28.000000"], [2, "weighted set is not a configuration: 0 1 2 3 4 5 6 7"]], "min_total_of_valid": 27.0}
{"file": "enum_N3_t2_prove9_certified.json", "t": 2, "N": 17, "certificates": 435, "valid": 432, "invalid": [[428, "configs=64 cands=80 max_colsum=1.000000000000 total=16.000000"], [429, "configs=64 cands=80 max_colsum=1.000000000000 total=16.000000"], [430, "configs=60 cands=48 max_colsum=1.000000000000 total=16.000000"]], "min_total_of_valid": 31.99999999999526}
