@inproceedings{SoosBiere-SAT-Race-2019-solvers,
  author    = {Mate Soos and Armin Biere},
  title     = {{CryptoMiniSat~5.6} with {YalSAT} at the {SAT} {Race} 2019},
  pages     = {14-15},
  booktitle = {Proc.~of {SAT Race} 2019 -- Solver and Benchmark Descriptions},
  editor    = {Marijn Heule and Matti J{\"a}rvisalo and Martin Suda},
  volume    = {B-2019-1},
  series    = {Department of Computer Science Series of Publications B},
  publisher = {University of Helsinki},
  year      = 2019,
}