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