Awards

Paper Awards

Aina Niemetz, Mathias Preiner. Bitwuzla. CAV (II): 3-17. (2023)
CAV Distinguished Paper Award
Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere. IPASIR-UP: User Propagators for CDCL. SAT: 8:1--8:13. (2023)
SAT Highlighted Paper
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

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

Bitwuzla at SMT-COMP 2023 (details)
- entered: 21 divisions
- overall: 27 gold medals , 7 silver medals , 4 bronze medals
- division awards: 26 gold medals (out of 54)
- competition-wide awards:
  - 1 gold medal (out of 20)
  - 7 silver medals (out of 20)
  - 4 bronze medals (out of 20)
cvc5 at SMT-COMP 2023 (details)
- entered: 68 divisions
- overall: 80 gold medals , 1 silver medal
- division awards: 66 gold medals (out of 177)
- competition-wide awards:
  - 14 gold medals (out of 20)
  - 1 silver medal (out of 20)

Bitwuzla at SMT-COMP 2022 (details)
- entered: 18 divisions
- overall: 32 gold medals , 8 silver medals , 4 bronze medals
- division awards: 32 gold medals (out of 48)
- competition-wide awards:
  - 7 silver medals (out of 20)
  - 4 bronze medals (out of 20)
- FLOC Olympic Games: 1 silver medal
cvc5 at SMT-COMP 2022 (details)
- entered: 61 divisions
- overall: 84 gold medals , 1 bronze medal
- division awards: 67 gold medals (out of 163)
- competition-wide awards:
  - 14 gold medals (out of 20)
  - 1 bronze medal (out of 20)
- FLOC Olympic Games: 3 gold medals

Bitwuzla at SMT-COMP 2021 (details)
- entered: 11 divisions
- overall: 17 gold medals , 2 silver medals , 5 bronze medals
- division awards: 17 gold medals (out of 28)
- competition-wide awards:
  - 2 silver medals (out of 20)
  - 5 bronze medals (out of 20)
cvc5 at SMT-COMP 2021 (details)
- entered: 59 divisions
- overall: 109 gold medals , 2 silver medals , 1 bronze medal
- division awards: 92 gold medals (out of 155)
- competition-wide awards:
  - 17 gold medals (out of 20)
  - 2 silver medals (out of 20)
  - 1 bronze medal (out of 20)

Bitwuzla at SMT-COMP 2020 (details)
- entered: 26 divisions
- overall: 45 gold medals , 6 bronze medals
- division awards: 43 gold medals (out of 71)
- competition-wide awards:
  - 2 gold medals (out of 20)
  - 6 bronze medals (out of 20)
CVC4 at SMT-COMP 2020 (details)
- entered: 139 divisions
- overall: 212 gold medals , 3 silver medals , 1 bronze medal
- division awards: 198 gold medals (out of 453)
- competition-wide awards:
  - 14 gold medals (out of 20)
  - 3 silver medals (out of 20)
  - 1 bronze medal (out of 20)

Boolector at SMT-COMP 2019 (details)
- entered: 16 divisions
- overall: 16 gold medals , 8 silver medals
- division awards: 14 gold medals (out of 47)
- competition-wide awards:
  - 2 gold medals (out of 24)
  - 8 silver medals (out of 24)
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 (out of 24)

Boolector at SMT-COMP 2018 (details)
- entered: 8 divisions
- overall: 8 gold medals
- division awards: 7 gold medals (out of 13)
- FLOC Olympic Games: 1 gold medal
CVC4 at SMT-COMP 2018 (details)
- entered: 153 divisions
- overall: 48 gold medals
- division awards: 46 gold medals (out of 255)
- competition-wide awards:
  - 1 gold medal (out of 1)
- FLOC Olympic Games: 1 gold medal

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

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

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

Boolector at SMT-COMP 2014 (details)
- entered: 2 divisions
- overall: 3 gold medals
- division awards: 2 gold medals (out of 2)
- FLOC Olympic Games: 1 gold medal