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-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

• Main Track
• Parallel Track

Important Dates

Solver Registration:	April 15th — April 30th
Benchmark Submission Deadline:	April 30th
Solver Submission Deadline:	May 7th
Announcement of Results:	August 15th at SAT Conference 2025