@inproceedings{BiereFallerFazekasFleuryFroleyksPollitt-SAT-Competition-2024-benchmarks,
  author       = {Armin Biere and Tobias Faller and Katalin Fazekas and Mathias Fleury and Nils Froleyks and Florian Pollitt},
  title	       = {Challenging Combinational Hardware Equivalence Checking Problems Submitted to the {SAT Competition 2024}},
  editor       = {Marijn Heule and Markus Iser and Matti J{\"a}rvisalo and Martin Suda},
  booktitle    = {Proc.~of {SAT Competition} 2024 -- Solver, Benchmark and
                  Proof Checker Descriptions},
  volume       = {B-2024-1},
  series       = {Department of Computer Science Report Series B},
  publisher    = {University of Helsinki},
  year	       = 2024,
  pages	       = {33},
}