SMT-COMP 2024

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

Key dates

• April 13 Deadline for new benchmark contributions
• May 11 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 8 Deadline for final versions of participating solvers, including final system descriptions
• July 22–23 SMT Workshop (presentation of results)

Organizers

• Martin Bromberger (chair) - MPI für Informatik, Germany
• François Bobot - CEA List, France
• Martin Jonáš - Masaryk University, Czechia

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

Acknowledgment

• Dirk Beyer (VerifierCloud)
• Aaron Stump (StarExec)
• Clark Barrett, Pascal Fontaine, Aina Niemetz, Mathias Preiner, and Hans-Jörg Schurr (smt-lib maintenance)
• Robert Jones and Benjamin F Jones (Cloud and Parallel Tracks AWS Support)