SMT-COMP 2026
The International Satisfiability Modulo Theories (SMT) Competition.
GitHub
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
SMT-COMP 2026
Rules
Solver Submission
Model Validation Track
Parallel Track
Previous Editions
SMT-COMP 2025
SMT-COMP 2024
SMT-COMP 2023
SMT-COMP 2022
SMT-COMP 2021
SMT-COMP 2020
SMT-COMP 2019
SMT-COMP 2018
SMT-COMP 2017
SMT-COMP 2016
SMT-COMP 2015
SMT-COMP 2014
SMT evaluation 2013
SMT-COMP 2012
SMT-COMP 2011
SMT-COMP 2010
SMT-COMP 2009
SMT-COMP 2008
SMT-COMP 2007
SMT-COMP 2006
SMT-COMP 2005