@inproceedings{Biere-SAT-Competition-2021-benchmarks,
  author    = {Armin Biere},
  title     = {{CNF} Encodings of Complete Pairwise Combinatorial Testing of our {SAT} Solver {Satch}},
  pages     = {46},
  editor    = {Tomas Balyo and Nils Froleyks and Marijn Heule and Markus Iser and Matti J{\"a}rvisalo and Martin Suda},
  booktitle = {Proc.~of {SAT Competition} 2021 -- Solver and Benchmark Descriptions},
  volume    = {B-2021-1},
  series    = {Department of Computer Science Report Series B},
  publisher = {University of Helsinki},
  year      = 2021,
}