After 8.5 years the project has finished and proven that the previously predicted ruler is optimal. That previously known ruler has the following marks: 0 3 15 41 66 95 97 106 142 152 220 221 225 242 295 330 338 354 382 388 402 415 486 504 523 546 553 585BOINC volunteers computed roughly 25% of the search space.See the full distributed.net statement here.

Source