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