@article{Barrettetal2012JAR,
  author    = {Clark Barrett and
               Morgan Deters and
               Leonardo de Moura and
               Albert Oliveras and
               Aaron Stump},
  title     = {{6 Years of SMT-COMP}},
  journal   = {Journal of Automated Reasoning},
  note ={To appear.}
}