| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://satcompetition.github.io/2025/
x-github-request-id: 74C3:DA814:3B2FB1:436DA0:696481CB
accept-ranges: bytes
age: 0
date: Mon, 12 Jan 2026 05:08:31 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210080-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768194511.928493,VS0,VE207
vary: Accept-Encoding
x-fastly-request-id: 32963e1fd624e3a1ccf22543f2d308a79fa84cfa
content-length: 162
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
x-origin-cache: HIT
last-modified: Wed, 27 Aug 2025 09:08:36 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"68aecb14-c41"
expires: Mon, 12 Jan 2026 05:18:31 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 9128:266F44:3BCCAA:4408D9:696481CE
accept-ranges: bytes
age: 0
date: Mon, 12 Jan 2026 05:08:31 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210080-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768194511.154959,VS0,VE198
vary: Accept-Encoding
x-fastly-request-id: 686444ad1269ea9839277a35e6e7528e9d734128
content-length: 1418
SAT Competition
SAT Competition 2025 is a competitive event for solvers of the Boolean Satisfiability (SAT) problem.
The competition is organized as a satellite event to the SAT Conference 2025
and continues the series of the annual SAT Competitions and SAT-Races / Challenges.
Objective
The area of SAT Solving has seen tremendous progress over the last years. Many problems that seemed to be out of reach a decade ago can now be handled routinely. Besides new algorithms and better heuristics, refined implementation techniques turned out to be vital for this success. To keep up the driving force in improving SAT solvers, we want to motivate implementers to present their work to a broader audience and to compare it with that of others. Researchers from both academia and industry are invited to submit their solvers and benchmarks.
News
- 2025-08-25 The Benchmarks and Solvers are available in the Downloads Section.
- 2025-08-25 The Proceedings of the SAT Competition 2025 is available online here.
- 2025-08-16 The slides of the SAT Competition 2025 results are available here.
- 2025-02-16 The SAT Competition 2025 will be hosted on the BenchCloud instance of the SoSy Lab in Munich for the first time. This results in changes to the submission and resource limits.
- 2025-02-12 The competition website is online.
Tracks
Important Dates
| Solver Registration: | April 15th — April 30th |
| Benchmark Submission Deadline: | May 5th |
| Solver Submission Deadline: | May 7th |
| Announcement of Results: | August 15th at SAT Conference 2025 |