Bitwuzla at SMT-COMP 2022

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

Single Query Track

Results: https://smt-comp.github.io/2022/results/results-single-query
Awards: sequential (seq), parallell (par), sat, unsat, 24s

  1^st place in division FPArith (all)
  1^st place in division QF_Bitvec (seq, par, sat)
  1^st place in division QF_Equality+Bitvec (all)
  1^st place in division QF_FPArith (all)

Incremental Track

Results: https://smt-comp.github.io/2022/results/results-incremental
Awards: parallell (par)

  1^st place in division FPArith (all)
  1^st place in division QF_FPArith (all)

Model Validation Track

Results: https://smt-comp.github.io/2022/results/results-model-validation
Awards: sequential (seq), parallell (par)

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

Unsat Core Track

Results: https://smt-comp.github.io/2022/results/results-unsat-core
Awards: sequential (seq), parallell (par)

  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

  2^nd place (silver) in the Single Query Track (sequential, parallel, sat)
  3^rd place (bronze) in the Single Query Track (unsat)

Largest Contribution

  2^nd place (silver) in the Model Validation Track (all)
  2^nd place (silver) in the Unsat Core Track (all)
  3^rd place (bronze) in the Single Query Track (sequential, parallel, sat)

FLoC'22 Olympic Games

  1 silver medal