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
-
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
-
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
2016
2015
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