The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
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.
20 May 2023 Preliminary Solvers
28 Apr 2023 Final call for solvers
07 Feb 2023 Call for solvers
07 Feb 2023 Call for benchmarks
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.