@inproceedings{Biere-SAT-Competition-2018-benchmarks,
  author    = {Biere, Armin},
  title     = {{Divider and Unique Inverse Benchmarks Submitted to the SAT Competition 2018}},
  pages     = {56},
  booktitle = {Proc.~of {SAT Competition} 2018 -- Solver and Benchmark Descriptions},
  editor    = {Marijn Heule and Matti J{\"a}rvisalo and Martin Suda},
  volume    = {B-2018-1},
  series    = {Department of Computer Science Series of Publications B},
  publisher = {University of Helsinki},
  year      = 2018,
}