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.

SMT-EXEC and the SMT-COMP web page are hosted at The University of Iowa, thanks to Aaron Stump.

SMT-COMP 2011 is co-organized by:

• Roberto Bruttomesso : Universita' della Svizzera Italiana
• Morgan Deters : New York University
• Alberto Griggio : Fondazione Bruno Kessler (FBK)

The SMT-COMP benchmark execution infrastructure (SMT-Exec) is implemented by:

• Morgan Deters: New York University

An earlier version was written by Jon Fox (Washington University in St. Louis).

Last modified: Tue 17 Feb 2015 15:01 UTC