SMT-COMP 2012

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.

News

• 23 January: call for benchmarks and solvers, and draft rules for comment are made public
• 2 June: revised rules posted; new benchmarks available; call for solvers restated
• 23 June: Competition started - results online.
• 26 August: Competition report and system descriptions posted.

Organizers

• Roberto Bruttomesso (Universita’ della Svizzera Italiana)
• David Cok (GrammaTech)
• Alberto Griggio (Fondazione Bruno Kessler (FBK))

Acknowledgments

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).