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.