Boolector at SMT-COMP 2019

https://smt-comp.github.io/2019
https://boolector.github.io

Single Query Track

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

  1^st place in division QF_ABV (sequential, sat)
  1^st place in division QF_BV (sequential, parallel, sat, unsat)

Challenge Track

https://smt-comp.github.io/2019/results/results-challenge-incremental
https://smt-comp.github.io/2019/results/results-challenge-non-incremental

  1^st place in division QF_ABV [non-inc] (sequential, parallel, sat, 24s)
  1^st place in division QF_ABV [inc] (all)
  1^st place in division QF_AUFBV [non-inc] (unsat)
  1^st place in division QF_BV [non-inc] (sequential)
  1^st place in division QF_BV [inc] (all)

Model Validation Track [experimental]

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

  1^st place in division QF_BV (all)

Biggest Lead

  1^st place (gold) in the Challenge Track [non-inc] (unsat)
  2^nd place (silver) in the Challenge Track [non-inc] (sequential, 24s)
  2^nd place (silver) in the Challenge Track [inc] (all)
  1^st place (gold) in the Model Validation Track [exp] (all)

Largest Contribution

  2^nd place (silver) in the Incremental Track (all)
  2^nd place (silver) in the Challenge Track [inc] (all)
  1^st place (gold) in the Challenge Track [non-inc] (unsat)
  2^nd place (silver) in the Challenge Track [non-inc] (sequential, parallel, sat)
  1^st place (gold) in the Model Validation Track [exp] (all)