Aina Niemetz

Sr. Research Scientist, Computer Science
Stanford University

           

Publications
Talks
Tools
Awards

Bitwuzla at SMT-COMP 2020

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

Single Query Track

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

  1st place in division QF_ABV (all)
  1st place in division QF_ABVFP (all)
  1st place in division QF_BV (all)
  1st place in division QF_BVFP (all)
  1st place in division QF_FP (seq, par, sat, unsat)
  1st place in division QF_UFBV (24s)
  1st place in division QF_UFFP (24s)

Incremental Track

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

  1st place in division QF_ABV (all)
  1st place in division QF_ABVFP (all)
  1st place in division QF_BVFP (all)
  1st place in division QF_UFBV (all)
  1st place in division QF_UFFP (all)

Model Validation Track

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

  1st place in division QF_BV (all)

Unsat Core Track

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

  1st place in division QF_ABV (all)
  1st place in division QF_ABVFP (all)
  1st place in division QF_BV (all)
  1st place in division QF_BVFP (all)
  1st place in division QF_FP (all)

Biggest Lead

  1st place (gold) in the Model Validation Track (all)
  3rd place (bronze) in the Incremental Track (all)
  3rd place (bronze) in the Unsat Core Track (all)

Largest Contribution

  1st place (gold) in the Model Validation Track (all)
  3rd place (bronze) in the Incremental Track (all)
  3rd place (bronze) in the Unsat Core Track (all)