@inproceedings{KaufmannKauersBiereCok-SAT-Race-2019-benchmarks,
  author    = {Daniela Kaufmann and Manuel Kauers and Armin Biere and David Cok},
  title     = {Arithmetic Verification Problems Submitted to the {SAT} {Race} 2019},
  pages     = {49},
  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,
}