Aina Niemetz

Sr. Research Scientist, Computer Science
Stanford University

           

Publications
Talks
Tools
Awards

Bitwuzla at SMT-COMP 2021

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

Single Query Track

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

  1st place in division QF_Bitvec (seq, par, sat, 24s)
  1st place in division QF_Equality+Bitvec (all)

Honorable Mentions

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

Model Validation Track

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

  1st place in division QF_Bitvec (all)

Unsat Core Track

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

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

Biggest Lead

  3rd place (bronze) in the Single Query Track (seq)
  3rd place (bronze) in the Model Validation Track (all)
  3rd place (bronze) in the Unsat Core Track (all)

Largest Contribution

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