The 2012 edition of the Satisfiability Modulo Theories Competition (SMT-COMP) is part of the SMT workshop at IJCAR 2012 (June 30 - July 1, 2012, Manchester, UK). The SMT workshop will include a block of time to present the competitors and results of the SMTCOMP competition.
SMT-COMP is supported by the U.S. National Science Foundation, under grant CNS-0551697. This grant has purchased the cluster on which the competition runs, as well as provided partial support for staff at the institution running the competition.
The in development (but not used for 2012) SMT-COMP benchmark execution infrastructure (STAR-Exec) is implemented by Aaron Stump and students. StarExec is hosted at The University of Iowa, thanks to Aaron Stump.
The SMT-EXEC server (used in 2012 and previous years) was written by Morgan Deters. An earlier version yet was written by Jon Fox (Washington University in St. Louis).