@Misc{hoos+2011,
  author       = {Holger H. Hoos and Thomas St\"{u}tzle},
  title        = {{SATLIB}},
  year         = 2011,
  edition      = {1.4.4},
  subtitle     = {The Satisfiability Library},
  publisher    = {{Darmstadt} University of Technology},
  url          = {https://www.cs.ubc.ca/~hoos/SATLIB/}
}