SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2023

Rules
Benchmarks
Specs
Model Validation Track
Proof Exhibition Track
Parallel & Cloud Tracks
Participants
Results
Statistics
Comparisons
Slides

Informations about prover results for all the divisions in sequential query

2019-Par42020-Bitwuzla-fixed2020-Bitwuzla2020-CVC42021-SMTInterpol2021-Yices22021-cvc52021-z3BitwuzlaCOLIBRIMathSATNRA-LSOSTRICHOpenSMT-fixedOpenSMTQ3B-pBDDQ3BSMT-RAT-MCSAT 22.06SMTS cube-and-conquerSMTS portfolioSTP-fixedSTPUltimateEliminator+MathSATVampireYices-ismt-fixedYices-ismtYices2YicesQSZ3++-fixedZ3++Z3++BVZ3str4cvc5-cloudcvc5smtinterpol-fixedsmtinterpolsolsmtveriT+raSAT+RedlogveriTz3-4.8.17
2019-Par42020-Bitwuzla-fixed2020-Bitwuzla2020-CVC42021-SMTInterpol2021-Yices22021-cvc52021-z3BitwuzlaCOLIBRIMathSATNRA-LSOSTRICHOpenSMT-fixedOpenSMTQ3B-pBDDQ3BSMT-RAT-MCSAT 22.06SMTS cube-and-conquerSMTS portfolioSTP-fixedSTPUltimateEliminator+MathSATVampireYices-ismt-fixedYices-ismtYices2YicesQSZ3++-fixedZ3++Z3++BVZ3str4cvc5-cloudcvc5smtinterpol-fixedsmtinterpolsolsmtveriT+raSAT+RedlogveriTz3-4.8.17
Limit:/???