| CARVIEW |
SMT-COMP
The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
SMT-COMP 2022
RulesBenchmarks
Tools
Specs
Proof Exhibition Track
Parallel & Cloud Tracks
Participants
Results
Statistics
Comparisons
Slides
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)