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

137 B · on GitHub

{
  "group": "c3c15",
  "hits": 0,
  "n": 45,
  "ninv": 0,
  "npairs": 22,
  "pruned": 271560,
  "scanned": 93976,
  "seconds": 33.359
}