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

Slides presenting the results of phase 1
Slides presenting the results of phase 2 (updated)
Archive containing the solvers sources (183 MiB): SAT2011-sources.tar.gz
Archive containing the solvers dynamic binaries used in the SAT competition (63 MiB): SAT2011-dynamic-binaries.tar.gz
Archive containing static binaries of the solvers (125 MiB): SAT2011-static-binaries.tar.gz
Archive containing the instances used in the SAT competition (1.7 GiB): SAT11-Competition-SelectedBenchmarks.tar (list of filenames per category)
Archive containing the instances submitted to the competition but which were not selected (categories application and crafted, 518MiB): SAT11-Competition-Application-Crafted-UnselectedBenchmarks.tar
Archive containing the instances used in the group oriented MUS track (593 MiB): SAT11-Competition-GMUS-SelectedBenchmarks.tar (list of filenames per category)
Archive containing the instances used in the MUS track (606 MiB): SAT11-Competition-MUS-SelectedBenchmarks.tar (list of filenames per category)
Archive containing all submitted MUS instances (1.4 GiB): SAT11-Competition-MUS-SubmittedBenchmarks.tar

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.

Analysis by Lin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown
- First version: HTML format / PDF Format / Details (PDF format) / Extra files
- Revised version: HTML format / Full results (PDF Format)

Links to solvers pages

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