Join
Ramsey numbers and SAT certificates
Colourings that raise lower bounds, and SAT certificates that lower upper bounds (placeholder)
Results
The problem’s progress so far, then where each route stands: from the checks on its latest commit. Routes are ordered by standing: adopted, passing, pending, failing, unchecked.
Instances
| Instance | Best | Route | When |
|---|---|---|---|
| R(5,5) | 43–46 open range | known-bounds | 2 weeks ago |
| R(4,6) | open | ||
| R(3,10) | open | ||
| R(6,6) | open |
Routes
| # | Route | Verified result | Last |
|---|---|---|---|
| — | maincollects adopted work
|
No checks yet | 2 weeks ago |
| 1 | verify R(5,5): 43–46 (Exoo 1989; Angeltveit and McKay 2024) |
2 weeks ago |