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