@unpublished{CVC4-SMT-Competition-2019,
  author = {Clark Barrett and
            Haniel Barbosa and
            Martin Brain and
            Ahmed Irfan and
            Makai Mann and
            Mudathir Mohamed and
            Aina Niemetz and
            Andres N\"{o}tzli and
            Alex Ozdemir and
            Mathias Preiner and
            Andrew Reynolds and
            Ying Sheng and
            Cesare Tinelli and
            Amalee Wilsond and
            Yoni Zohar},
  title = {{CVC4 at the SMT competition 2020}},
  pages={2 pages},
  year={2020},
  note={SMT-COMP 2020},
}