For those who are interested, the SAT solving group at TU Delft has set up a webpage (under construction) with further improvements to the known lower bounds:http://www.st.ewi.tudelft.nl/sat/waerden.php