The 16th International Satisfiability Modulo Theories Competition (SMT-COMP 2021) is part of the SMT Workshop 2021, affiliated with CAV 2021. The SMT Workshop will include a block of time to present the competitors and results of the competition.
18 Jul 2021 Competition results
30 Jun 2021 Wrongly Classified Benchmarks
18 Jun 2021 SMT-COMP 2021 is Live
01 Jun 2021 SMT-COMP Competing Solvers
07 May 2021 Final Call for Solvers
05 Feb 2021 Preliminary Call for Solvers
05 Feb 2021 SMT-COMP Cloud and Parallel Tracks
05 Feb 2021 Call for Benchmarks
17 Dec 2020 SMT-COMP 2021 pre-announcement
SMT-COMP 2021 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.