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