@article{theconfigurablesatsolverchallengecssc,
  title = {The Configurable SAT Solver Challenge (CSSC)},
  author = {Frank Hutter and Marius Lindauer and Adrian Balint and Sam Bayless and Holger Hoos and Kevin Leyton-Brown},
  year = {2015},
  eprint = {1505.01221},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1505.01221v2},
}