SMT-COMP 2025
The 20th International Satisfiability Modulo Theories Competition (SMT-COMP 2025) is part of the
SMT Workshop 2025,
affiliated with SAT-25.
The SMT Workshop will include a block of time to
present the competitors and results of the competition.
News
Feb 25, 2025 – Call for Comments, Call for Benchmarks, Preliminary Call for SolversFeb 4, 2025 – Website is online!Key dates
- April 12 Deadline for new benchmark contributions
- May 31 Final versions of competition tools (used by the organizers to run the participating solvers)
- June 13 Deadline for first versions of participating solvers (for all tracks), including preliminary system descriptions
- June 27 Deadline for final versions of participating solvers, including final system descriptions
- August 10–11 SMT Workshop (presentation of results)
Organizers
SMT-COMP 2025 is organized under the direction of the SMT Steering
Committee.
Acknowledgment