Design and results of the 3rd annual Satisfiability Modulo Theories Competition (SMT-COMP 2007)

Clark Barrett, Morgan Deters, Albert Oliveras, Aaron Stump

Research output: Contribution to journalArticlepeer-review


The Satisfiability Modulo Theories Competition (SMT-COMP) is an annual competition aimed at stimulating the advance of the state-of-the-art techniques and tools developed by the Satisfiability Modulo Theories (SMT) community. As with the first two editions, SMT-COMP 2007 was held as a satellite event of CAV 2007, held July 3-7, 2007. This paper gives an overview of the rules, competition format, benchmarks, participants and results of SMT-COMP 2007.

Original languageEnglish (US)
Pages (from-to)569-606
Number of pages38
JournalInternational Journal on Artificial Intelligence Tools
Issue number4
StatePublished - Aug 2008

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this