Sr. Research Scientist, Computer Science
Stanford University

Contact

353 Jane Stanford Way,
Stanford, CA, 94305, United States

           

Bitwuzla at SMT-COMP 2020

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

Single Query Track

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

  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 (sequential, parallel, sat, unsat)
  1st place in division QF_UFBV (24s)
  1st place in division QF_UFFP (24s)

Incremental Track

https://smt-comp.github.io/2020/results/results-incremental

  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

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

  1st place in division QF_BV (all)

Unsat Core Track

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

  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)