SAT11 Competition

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.

Detailed results

Downloads

Data analysis

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.

Links to solvers pages

Note: this list has been generated automatically and may be inaccurate or incomplete.