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

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

Incremental Track

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

1^st place in division QF_ABV (all)
1^st place in division QF_ABVFP (all)
1^st place in division QF_BVFP (all)
1^st place in division QF_UFBV (all)
1^st 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)

1^st 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)

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

Biggest Lead

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

Largest Contribution

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