| CARVIEW |
Select Language
HTTP/1.1 301 Moved Permanently
Date: Thu, 15 Jan 2026 22:10:15 GMT
Server: Apache/2.4.63 (CentOS Stream) OpenSSL/3.5.1 SVN/1.14.5 mod_perl/2.0.13 Perl/v5.40.2
Location: https://www.cril.fr/SAT11/
Content-Length: 234
Content-Type: text/html; charset=iso-8859-1
HTTP/1.1 200 OK
Date: Thu, 15 Jan 2026 22:10:15 GMT
Server: Apache/2.4.63 (CentOS Stream) OpenSSL/3.5.1 SVN/1.14.5 mod_perl/2.0.13 Perl/v5.40.2
X-Powered-By: PHP/8.3.26
Transfer-Encoding: chunked
Content-Type: text/html; charset=UTF-8
SAT11 Competition
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
- Results of phase 1
- Results of phase 2
- Results of the 32 cores track
- Results of the plain MUS track
- Results of the group oriented MUS track
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.