files / problems / ramsey-r55 / compute / certs / sat_status.json

231 B · on GitHub

{
  "involution17": "SAT (validated (5,5,17) graph)",
  "involution43_fat": "UNKNOWN at 900s",
  "involution43_slim": "UNKNOWN at 1200s",
  "order3_43_slim": "UNKNOWN at 600s",
  "policy": "Isolated SAT timeouts are not a dent."
}