@article{HWMCC14-JSAT14,
  author       = {Gianpiero Cabodi and
                  Carmelo Loiacono and
                  Marco Palena and
                  Paolo Pasini and
                  Denis Patti and
                  Stefano Quer and
                  Danilo Vendraminetto and
                  Armin Biere and
                  Keijo Heljanko},
  title        = {Hardware Model Checking Competition 2014: An Analysis and Comparison
                  of Solvers and Benchmarks},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {9},
  number       = {1},
  pages        = {135--172},
  year         = {2014},
  url          = {https://doi.org/10.3233/sat190106},
  doi          = {10.3233/SAT190106},
}