@techreport{Biere-FMV-TR-15-2,
  author = {Armin Biere},
  title = {{Lingeling} and Friends Entering the {SAT} {Race} 2015},
  number = {15/2},
  date = {April 2015},
  institution = {Institute for Formal Models and Verification,
    Johannes Kepler University},
  address = {Altenbergerstr. 69, 4040 Linz, Austria},
  year={2015},
}