Authors: Clark Barrett, Morgan Deters, Albert Oliveras, and Aaron Stump

Title: Design and Results of the 4th Annual Satisfiability Modulo Theories Competition (SMT-COMP 2008)

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 three editions, SMT-COMP 2008 was held as a satellite event of CAV 2008, held July
7-14, 2008. This report gives an overview of the rules, competition format, benchmarks, participants and results of
SMT-COMP 2008.