Boolector at SMT-COMP 2019

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

Single Query Track

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

  1^st place in division QF_ABV (seq, sat)
  1^st place in division QF_BV (seq, par, sat, unsat)

Challenge Track (non-incremental)

Results: https://smt-comp.github.io/2019/results/results-challenge-non-incremental
Awards: sequential (seq), parallell (par), sat, unsat, 24s

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

Challenge Track (incremental)

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

  1^st place in division QF_ABV [inc] (all)
  1^st place in division QF_BV [inc] (all)

Model Validation Track [experimental]

Results: https://smt-comp.github.io/2019/results/results-model-validation
Awards: sequential (seq), parallell (par) [no medals]

  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] (seq, 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] (seq, par, sat)
  1^st place (gold) in the Model Validation Track [exp] (all)