files / problems / ramsey-r55 / compute / q1 / certs / py_c11c4.json

139 B · on GitHub

{
  "group": "c11c4",
  "hits": 0,
  "n": 44,
  "ninv": 1,
  "npairs": 21,
  "pruned": 591004,
  "scanned": 294262,
  "seconds": 142.876
}