Awards

Paper Awards

  Haniel Barbosa, Clark Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar. cvc5: A Versatile and Industrial-Strength SMT Solver. TACAS: 415-442. (2022)
SCP Best Tool Paper Award

  Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark Barrett, Cesare Tinelli. Syntax-Guided Quantifier Instantiation. TACAS: 145–163. (2021)
Nominated for the EATCS Best ETAPS Theory Paper Award

Competitions

My work in Bitwuzla, Boolector, CVC4 and cvc5 contributed to the following awards in competitions.

2021

• Bitwuzla at SMT-COMP 2021 (details)
  • entered: 11 divisions
  • overall: 17 gold medals
  • division awards: 17 gold medals (out of 28)

• cvc5 at SMT-COMP 2021 (details)
  • entered: 59 divisions
  • overall: 109 gold medals
  • division awards: 92 gold medals (out of 155)
  • competition-wide awards: 17 gold medals

2020

• Bitwuzla at SMT-COMP 2020 (details)
  • entered: 26 divisions
  • overall: 45 gold medals
  • division awards: 43 gold medals (out of 71)
  • competition-wide awards: 2 gold medals

• CVC4 at SMT-COMP 2020 (details)
  • entered: 139 divisions
  • overall: 212 gold medals
  • division awards: 198 gold medals (out of 453)
  • competition-wide awards: 14 gold medals

2019

• Boolector at SMT-COMP 2019 (details)
  • entered: 16 divisions
  • overall: 31 gold medals
  • division awards: 27 gold medals (out of 47)
  • competition-wide awards: 4 gold medals

• CVC4 at SMT-COMP 2019 (details)
  • entered: 146 divisions
  • overall: 102 gold medals
  • division awards: 89 gold medals (out of 433)
  • competition-wide awards: 13 gold medals

2018

• Boolector at SMT-COMP 2018 (details)
  • entered: 8 divisions
  • overall: 7 gold medals
  • division awards: 7 gold medals (out of 13)

• CVC4 at SMT-COMP 2018 (details)
  • entered: 153 divisions
  • overall: 48 gold medals
  • division awards: 46 gold medals (out of 255)
  • competition-wide awards: 2 gold medals

2017

• Boolector at SMT-COMP 2017 (details)
  • entered: 6 divisions
  • overall: 5 gold medals
  • division awards: 5 gold medals (out of 11)

2016

• Boolector at SMT-COMP 2016 (details)
  • entered: 7 divisions
  • overall: 6 gold medals
  • division awards: 6 gold medals (out of 13)

2015

• Boolector at SMT-COMP 2015 (details)
  • entered: 5 divisions
  • overall: 12 gold medals
  • division awards: 12 gold medals (out of 21)

2014

• Boolector at SMT-COMP 2014 (details)
  • entered: 2 divisions
  • overall: 3 gold medals
  • division awards: 2 gold medals (out of 2)
  • competition-wide awards: 1 gold medals