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

190 B · on GitHub

{"status":"UNSAT","scope":"normalized symmetric-square seeds only","p":79,"max_seed":9,"initial_sumset_cap":17,"nodes":2046567,"tested":118111,"cpu_seconds":0.081022,"witness":[],"seed":[]}