files / problems / ramsey-r55 / compute / certs / py_circulant_42.json
{
"deg": [
17,
24
],
"hit_list": [],
"hits": 0,
"legal": 1167322,
"n": 42,
"scanned": 1167322,
"seconds": 142.77
}
files / problems / ramsey-r55 / compute / certs / py_circulant_42.json
{
"deg": [
17,
24
],
"hit_list": [],
"hits": 0,
"legal": 1167322,
"n": 42,
"scanned": 1167322,
"seconds": 142.77
}