SMT-COMP 2023

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

News

• 20 May 2023 Preliminary Solvers

• 28 Apr 2023 Final call for solvers

• 07 Feb 2023 Call for solvers

• 07 Feb 2023 Call for benchmarks

Key dates

• Mar 31   Deadline for new benchmark contributions
• April 29   Final versions of competition tools
• May 13   Deadline for first versions of solvers (for all tracks)
• May 27   Deadline for final versions of solvers, including system descriptions
• July 5–6   SMT Workshop (presentation of results)

Organizers

• François Bobot (chair) - CEA List, France
• Martin Bromberger - MPI für Informatik, Germany
• Jochen Hoenicke - Certora, Israel

SMT-COMP 2023 is organized under the direction of the SMT Steering Committee.
The competition is run on StarExec, a service that is hosted at the University of Iowa. The parallel and cloud tracks are run on AWS.

Acknowledgment

• Aaron Stump (StarExec)
• Clark Barrett, Pascal Fontaine, Aina Niemetz, Mathias Preiner, and Hans-Jörg Schurr (smt-lib maintenance)
• Jonathan Eidelman and Mike Whalen (Cloud and Parallel Tracks AWS Support)