SMT-COMP 2024

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2024

Participants

The following solvers have been submitted to SMT-COMP 2024 or were entered as non-competing solvers by the organizers for comparison.

SolverSingle Query TrackIncremental TrackUnsat Core TrackModel Validation TrackCloud TrackContributorsArchiveSystem description
AlgarobaXAmar Shah, Federico Mora, Sanjit SeshiaArchiveSystem description
AmayaXVojtěch Havlena, Michal Hečko, Lukáš Holík, Ondřej LengálArchiveSystem description
BitwuzlaXXXXAina Niemetz, Mathias PreinerArchiveSystem description
COLIBRIXBruno Marre, François Bobot, Christophe JunkeArchiveSystem description
cvc5XXXXXLeni Aniva, Haniel Barbosa, Clark Barrett, Hanna Lachnitt, Daniel Larraz, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Hans-Jörg Schurr, Cesare Tinelli, Amalee Wilson, Yoni ZoharArchiveSystem description
iProver v3.9XKonstantin KorovinArchiveSystem description
OpenSMTXXXXTomáš Kolárik, Martin BlichaArchiveSystem description
OSTRICHXMatthew Hague, Denghang Hu, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin WuArchiveSystem description
plat-smtDavid EwertArchiveSystem description
SMTInterpolXXXXMax Barth, Leon Cacace, Jürgen Christ, Daniel Dietsch, Leonard Fichtner, Joanna Greulich, Elisabeth Henkel, Matthias Heizmann, Jochen Hoenicke, Moritz Mohr, Alexander Nutz, Markus Pomrehn, Pascal Raiola, Tanja SchindlerArchiveSystem description
SMT-RATXXJasper Nalbach, Valentin Promies, Erika ÁbrahámArchiveSystem description
STPXXXVijay Ganesh, Trevor Hansen, Mate Soos, Dan Liew, Ryan Govostes, Andrew V. JonesArchiveSystem description
Yices2XXXXBruno Dutertre, Aman Goel, Stéphane Graham-Lengrand, Thomas Hader, Ahmed Irfan, Dejan Jovanovic, Ian A MasonArchiveSystem description
YicesQSXStéphane Graham-LengrandArchiveSystem description
Z3-alphaXZhengyang John Lu, Stefan Siemer, Paul Sarnighausen-Cahn, Florin Manea, Vijay GaneshArchiveSystem description
Z3-NoodlerXVojtěch Havlena, Juraj Síč, David Chocholatý, Lukáš Holík, Ondřej LengálArchiveSystem description