SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2021

Rules
Benchmarks
Tools
Specs
Parallel & Cloud Tracks
Participants
Results
Slides

SMT-COMP Competing Solvers

01 Jun 2021

The list of solvers registered to compete in SMT-COMP 2021 is online. If you submitted a solver, please take the time to check that the information on the website is accurate.

Note that this list only covers the tracks that run on the StarExec cluster. The list of solvers participating in the parallel and cloud track will be published later.