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

250 B · on GitHub

{"status":"SAT","scope":"normalized symmetric-square seeds only","p":79,"max_seed":10,"initial_sumset_cap":19,"nodes":4107809,"tested":257489,"cpu_seconds":0.180856,"witness":[0,1,2,3,4,5,6,7,10,13,14,15,18,26,27,28,31,39,52],"seed":[0,1,2,5,13,26]}