Acknowledgments

SMT-Exec is supported by the following funders:

• The U.S. National Science Foundation, under grant CNS-0551697. This grant has purchased the cluster on which the service runs, as well as provided partial support for staff at the organizers' institutions running the service.

SMT-Exec is co-organized by:

• Clark Barrett : Computer Science, New York University
• Albert Oliveras : LSI Department, Technical University of Catalonia
• Aaron Stump : Computer Science Engineering, Washington University in St. Louis

The SMT-Exec benchmark execution infrastructure and web site are based on those used for SMT-COMP 2007; all versions in use were implemented by:

• Morgan Deters: Washington University in St. Louis.

Earlier versions of the competition infrastructure and web site were written by Jon Fox (Washington University in St. Louis).

Last modified: Mon 08 Sep 2008 07:32 CDT