Awards

  ETAPS 2026 Rance Cleaveland Test-of-Time Tool Award to CVC4/cvc5.

Paper Awards

• Massively Parallel Bit-Precise Verification with Bitwuzla and Mallob. Dominik Schreiber, Aina Niemetz, Mathias Preiner. TACAS (I): 170--191. (2026)
  ETAPS Best Tool Paper Award
  TACAS Distinguished Paper Award
  TACAS Distinguished Artifact Award
• Introducing Certificates to the Hardware Model Checking Competition. Nils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, Keijo Heljanko. CAV: 281-295. (2025)
  Distinguished Paper Award
• Satisfiability Modulo Theories: A Beginner's Tutorial. Clark Barrett, Cesare Tinelli, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar. FM: 571-596. (2024)
  Distinguished Tutorial Paper Award
• Bitwuzla. Aina Niemetz, Mathias Preiner. CAV (II): 3-17. (2023)
  CAV Distinguished Paper Award
• IPASIR-UP: User Propagators for CDCL. Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere. SAT: 8:1--8:13. (2023)
  SAT Highlighted Paper
• cvc5: A Versatile and Industrial-Strength SMT Solver. 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. TACAS: 415-442. (2022)
  SCP Best Tool Paper Award
• Syntax-Guided Quantifier Instantiation. Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark Barrett, Cesare Tinelli. 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.

2024

• Bitwuzla at SMT-COMP 2024
  • entered: 22 divisions
  • overall: 43 gold medals, 3 silver medals, 15 bronze medals
  • division awards: 42 gold medals (out of 82)
  • competition-wide awards:
    • 1 gold medal (out of 30)
    • 3 silver medals (out of 30)
    • 15 bronze medals (out of 30)
• cvc5 at SMT-COMP 2024
  • entered: 72 divisions
  • overall: 104 gold medals, 4 silver medals, 3 bronze medals
  • division awards: 90 gold medals (out of 273)
  • competition-wide awards:
    • 14 gold medals (out of 38)
    • 4 silver medals (out of 38)
    • 3 bronze medals (out of 38)

2023

• Bitwuzla at SMT-COMP 2023
  • 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
  • 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
  • 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
  • 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)
• 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)

2018

• 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

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)
  • FLOC Olympic Games: 1 gold medal