@techreport{Biere-FMV-TR-11-1,
  author = {Armin Biere},
  title = {Lingeling and Friends at the {SAT Competition 2011}},
  number = {11/1},
  date = {March 2011},
  institution = {Institute for Formal Models and Verification,
    Johannes Kepler University},
  address = {Altenbergerstr. 69, 4040 Linz, Austria},
  year={2011},
}