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.
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
SMT-COMP 2022 is organized under the direction of the SMT Steering
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.