The International Satisfiability Modulo Theories (SMT) Competition.
21st International Satisfiability Modulo Theories Competition
(SMT-COMP'26)
July 24–25, 2026
Lisbon, Portugal
CALL FOR COMMENTS
PRELIMINARY CALL FOR SOLVERS
We are pleased to announce the 2026 edition of SMT-COMP. SMT-COMP is the annual competition among Satisfiability Modulo Theories (SMT) solvers.
The goals of SMT-COMP'26 are to encourage scientific advances in the power and scope of solvers, to stimulate the community to explore and discuss shared challenges, to promote tools and their usage, to engage and include new members of the community (in a fun environment), and to support the SMT-LIB project in its efforts to promote and develop the SMT-LIB format and collect and collate relevant benchmarks.
The results of SMT-COMP'26 will be announced at the SMT Workshop (July 24–25, 2026), which is co-located with FLoC ‘26.
SMT-COMP'26 is organized under the direction of the SMT Steering committee. The organizing team for SMT-COMP'26 is:
This is a call for two things:
The organizing team has prepared the schedule and preliminary rules for 2026. To further the above goals, we propose to make several changes to the format of SMT-COMP'26. The changes concern derived tools, their submission, scoring and recognition, along with benchmark selection. All the changes are summarized in the Introduction section of the proposal of the rules: https://smt-comp.github.io/2026/rules.pdf
Any comments you may have on these proposed changes, on how to improve the competition, or to redirect its focus are welcome and will be considered by the team. We particularly appreciate comments received before May 1st, 2026.
The submission deadline for solvers is June 10th, 2026. However, it is useful to the organizing team to know in advance which and how many solvers may be entering. If you have not submitted a solver before, or if you think there may be unusual circumstances, we ask that you let us know at your earliest convenience if you think you may be submitting one or more solvers to SMT-COMP'26.
The competition website is at https://smt-comp.github.io/2026/
The SMT-COMP repository is at https://github.com/SMT-COMP/smt-comp.github.io
Public email regarding the competition may be sent to smt-announce@googlegroups.com .