Two runs from the Beijing University of Posts and Telecommunications (BUPT) were removed from the results due to violations of the rules governing automatic instance search runs. (8. Nov. 2013)