SMT-COMP 2026

The 21th International Satisfiability Modulo Theories Competition (SMT-COMP 2026) is part of the SMT Workshop 2026, affiliated with IJCAR-26 The SMT Workshop will include a block of time to present the competitors and results of the competition.

News

May 16, 2026 – Final Call for Solvers
Apr 13, 2026 – Call for Comments, Preliminary Call for Solvers
Mar 19, 2026 – Website is online!

Key dates

May 1 Final versions of competition tools (used by the organizers to run the participating solvers)
May 27 Deadline for first versions of participating solvers (for all tracks), including preliminary system descriptions
June 10 Deadline for final versions of participating solvers, including final system descriptions
July 24–25 SMT Workshop (presentation of results)

All deadlines are 11:59 PM AoE (Anywhere on Earth).

Communication

If you want to publicly discuss topics such as rules, submission process, or the competition results with the SMT-COMP community, you are welcome in

#smtcomp channel on SMT-LIB Zulip server

Organizers

Dominik Winterer (chair) - University of Manchester, United Kingdom
Martin Jonáš - Masaryk University, Czechia
Tomáš Kolárik – Università della Svizzera italiana, Switzerland

SMT-COMP 2026 is organized under the direction of the SMT Steering Committee.

Acknowledgment

Dirk Beyer (BenchCloud instance at LMU)
Clark Barrett, Pascal Fontaine, Aina Niemetz, Mathias Preiner, and Hans-Jörg Schurr (smt-lib maintenance)