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 SMTCOMP web site is hosted on sourceforge, at smtcomp.sourceforge.net, currently maintained by David Cok. STAR-EXEC is hosted at The University of Iowa, thanks to Aaron Stump.

SMT-COMP 2012 is co-organized by:

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

The in development (but not used for 2012) SMT-COMP benchmark execution infrastructure (STAR-Exec) is implemented by Aaron Stump and students.

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

Last modified: Tue 17 Feb 2015 14:57 UTC