Bitwuzla at SMT-COMP 2021

https://smt-comp.github.io/2021
https://bitwuzla.github.io

Single Query Track

https://smt-comp.github.io/2021/results/results-single-query

  1^st place in division QF_Bitvec (sequential, parallel, sat, 24s)
  1^st place in division QF_Equality+Bitvec (all)

Honorable Mentions

In division QF_FPArith:
  1^st place in logic QF_ABVFP (all)
  1^st place in logic QF_BVFP (all)
  1^st place in logic QF_BVFPLRA (all)
  1^st place in logic QF_FP (all)

Model Validation Track

https://smt-comp.github.io/2021/results/results-model-validation

  1^st place in division QF_Bitvec (all)

Unsat Core Track

https://smt-comp.github.io/2021/results/results-unsat-core

  1^st place in division QF_Bitvec (all)
  1^st place in division QF_Equality+Bitvec (all)
  1^st place in division QF_FPArith (all)

Biggest Lead

  3^rd place (bronze) in the Model Validation Track (all)
  3^rd place (bronze) in the Unsat Core Track (all)

Largest Contribution

  2^nd place (silver) in the Model Validation Track (all)