@techreport{NiemetzPreinerBiere-SMT-Competition-2016,
  author = {Aina Niemetz and Mathias Preiner and Armin Biere},
  title = {{Boolector} at the {SMT} {Competition} 2016},
  number = {16/1},
  date = {June 2016},
  institution = {Institute for Formal Models and Verification,
    Johannes Kepler University},
  address = {Altenbergerstr. 69, 4040 Linz, Austria},
  year={2016},
}