| CARVIEW |
Select Language
HTTP/2 301
content-type: text/html; charset=iso-8859-1
content-length: 252
location: https://satisfiability.org/competition/2013/
x-ws-ratelimit-limit: 1000
x-ws-ratelimit-remaining: 999
date: Mon, 12 Jan 2026 05:08:43 GMT
server: Apache
HTTP/2 200
content-type: text/html
x-ws-ratelimit-limit: 1000
x-ws-ratelimit-remaining: 998
date: Mon, 12 Jan 2026 05:08:43 GMT
server: Apache
content-encoding: gzip
SAT Competition 2013 @ SAT 2013, July 8-12, Helsinki, Finland
SAT Competition 2013
affiliated with the SAT 2013
conference, July 8-12 in Helsinki, Finland.
Jointly organized by Ulm University, University of Helsinki,
University College Dublin and University of Texas at Austin.
Jointly organized by Ulm University, University of Helsinki,
University College Dublin and University of Texas at Austin.
News
| Jul 17 | Proceedings of SAT Competition 2013 |
| Jul 15 | Results have been released. |
| Jul 15 | Detailed Results in EDACC availabe. |
| Jul 14 | Results presentation at SAT 2013 |
| Jul 2 | EDACC Verifier has been updated. |
| Jul 2 | SC13 benchmark selection available for download. |
About the SAT Competition 2013
The SAT Competition 2013 is a competitive event for solvers for the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013) and stands in the tradition of the SAT Competitions that have been held yearly from 2002 to 2005 and biannually starting from 2007, the SAT-Races held in 2006, 2008 and 2010, and the SAT Challenge 2012.
The emphasis of SAT Competition 2013 is on evaluation of core solvers. Additionally, and new this year, the UNSAT tracks of the competition will require certification.
Website template modified from a design by Arcsin