  This work contains certificates numbers Van der Waerden, was found using SAT
Solver. These certificates establish the best currently known lower bounds of
the numbers Van der Waerden W( 7, 3 ), W( 8, 3 ), W( 10, 3 ), W( 11, 3 ), W(
17, 3 ).
