Awards

Short listed for the Heinz Zemanek Award 2018 of the Austrian Computer Society (OCG) for outstanding dissertations in Computer Science

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

Competitions

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

2023

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)

2022

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

2021

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)

2020

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)

2019

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)