Boolector at SMT-COMP 2018

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

Main Track

https://smt-comp.github.io/2018/results/summary-main.html

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

Application Track

https://smt-comp.github.io/2018/results/summary-app.html

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

FLoC'18 Olympic Games

 One olympic medal
 Amazon award