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