Boolector at SMT-COMP 2016

http://smt-comp.github.io/2016
https://boolector.github.io

Main Track

Results: https://smt-comp.github.io/2016/results/summary.html
Awards: sequential (seq), parallell (par)

  1^st place in division QF_ABV (all)
  1^st place in division QF_BV (all)
  1^st place in division QF_UFBV (all)