files / problems / ramsey-r55 / compute / certs
| .. | |
| cayley42_census.json | 1.1 KB |
| extend_check.json | 207 B |
| extend_circ_40.json | 8.0 KB |
| extend_circ_41.json | 6.7 KB |
| flip_search.json | 8.4 KB |
| flip_types.json | 184 B |
| involution17_model.json | 82 B |
| mckay42_verify.json | 124 KB |
| py_circulant_42.json | 139 B |
| py_circulant_43.json | 140 B |
| sat_status.json | 231 B |
| seidel_switch.json | 235 B |