SMT-COMP 2022

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

News

• 10 Aug 2022 Competition results

• 01 Jun 2022 Final call for solvers

• 22 Mar 2022 Call for solvers

• 22 Feb 2022 Call for comments

• 09 Feb 2022 Call for benchmarks

Key dates

• Mar 15   Deadline for new benchmark contributions
• May 28   Final versions of competition tools
• June 18   Deadline for first versions of solvers (for all tracks)
• July 2   Deadline for final versions of solvers, including system descriptions
• August 12   SMT Workshop (presentation of results)

Organizers

• Haniel Barbosa (chair) - Universidade Federal de Minas Gerais, Brazil
• François Bobot - CEA List, France
• Jochen Hoenicke - Albert-Ludwigs-Universität Freiburg, Germany

SMT-COMP 2022 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)