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.
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.