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