Many relevant information are still missing on these pages and are scheduled to be published in the next few months. An announcement will be sent on SATLive when this site becomes final.
Note: the analyses reported below were performed independently by their authors, and only express their authors point of view. The organizers of the competition do not share some claims of these analyses.
- Analysis by Lin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown
Links to solvers pages
Note: this list has been generated automatically and may be inaccurate or incomplete.