files / problems / ramsey-r55 / compute / certs / py_circulant_43.json
{
"deg": [
18,
24
],
"hit_list": [],
"hits": 0,
"legal": 1167322,
"n": 43,
"scanned": 1167322,
"seconds": 148.115
}
files / problems / ramsey-r55 / compute / certs / py_circulant_43.json
{
"deg": [
18,
24
],
"hit_list": [],
"hits": 0,
"legal": 1167322,
"n": 43,
"scanned": 1167322,
"seconds": 148.115
}