One year after the first SAT competition of the 21st
century[
25], a new competition was organized. It was not
clear if one year would be sufficient to show significant progress
in the area. Incredibly, several 2003 competitors were able to solve
within 15mn instances remained unsolved within 6 hours by
state-of-the-art SAT solvers during the previous competition.