@techreport{NiemetzPreinerBiere-SMT-Competition-2018,
  author = {Aina Niemetz, Mathias Preiner and Armin Biere},
  title = {{Boolector at the SMT competition 2018}},
  series = {Technical Report 18/1},
  date = {June 2018},
  institution = {Stanford University and Johannes Kepler University Linz},
  address =  {FMV Reports Series, Institute for Formal Models and
    Verification, Johannes Kepler University, Altenbergerstr. 69, 4040
      Linz, Austria},
  year={2018},
}