files / problems / unique-sum / compute / q4 / exact_audit.json

1.4 KB · on GitHub

{"checks": [{"initial_ap": 3, "limit": 2, "p": 3, "status": "UNSAT"}, {"initial_ap": 3, "limit": 3, "p": 3, "status": "SAT"}, {"initial_ap": 3, "limit": 3, "p": 5, "status": "UNSAT"}, {"initial_ap": 3, "limit": 4, "p": 5, "status": "SAT"}, {"initial_ap": 4, "limit": 3, "p": 5, "status": "UNSAT"}, {"initial_ap": 4, "limit": 4, "p": 5, "status": "SAT"}, {"initial_ap": 5, "limit": 4, "p": 5, "status": "UNSAT"}, {"initial_ap": 5, "limit": 5, "p": 5, "status": "SAT"}, {"initial_ap": 3, "limit": 4, "p": 7, "status": "UNSAT"}, {"initial_ap": 3, "limit": 5, "p": 7, "status": "SAT"}, {"initial_ap": 4, "limit": 4, "p": 7, "status": "UNSAT"}, {"initial_ap": 4, "limit": 5, "p": 7, "status": "SAT"}, {"initial_ap": 5, "limit": 4, "p": 7, "status": "UNSAT"}, {"initial_ap": 5, "limit": 5, "p": 7, "status": "SAT"}, {"initial_ap": 6, "limit": 5, "p": 7, "status": "UNSAT"}, {"initial_ap": 6, "limit": 6, "p": 7, "status": "SAT"}, {"initial_ap": 3, "limit": 6, "p": 11, "status": "UNSAT"}, {"initial_ap": 3, "limit": 7, "p": 11, "status": "SAT"}, {"initial_ap": 4, "limit": 6, "p": 11, "status": "UNSAT"}, {"initial_ap": 4, "limit": 7, "p": 11, "status": "SAT"}, {"initial_ap": 5, "limit": 6, "p": 11, "status": "UNSAT"}, {"initial_ap": 5, "limit": 7, "p": 11, "status": "SAT"}, {"initial_ap": 6, "limit": 6, "p": 11, "status": "UNSAT"}, {"initial_ap": 6, "limit": 7, "p": 11, "status": "SAT"}], "limit_exit": 3, "status": "VALID_EXACT_CONTROLS"}