The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
At FLoC we had special prizes awarded to some of the global rankings, as part of the FLoC olympic games. The winners of the FLoC medals were:
cvc5: gold for Biggest Lead Single Query, gold for Largest Contribution Single Query, gold for Largest Contribution Incremental
Z3++: gold for Biggest Lead Model Validation, gold for Largest Contribution Model Validation
smtinterpol: gold for Biggest Lead Incremental
Bitwuzla: silver for Biggest Lead Single Query
YicesQS: silver for Largest Contribution Single Query