StarExec

StarExec is a cross community logic solving service
developed at the University of Iowa under the direction of principal
investigators Aaron Stump (Iowa), Geoff Sutcliffe (University
of Miami), and Cesare Tinelli (Iowa).

Its main goal is to facilitate the experimental evaluation of logic
solvers, broadly understood as automated tools based on formal
reasoning. The service is designed to provide a single piece of storage
and computing infrastructure to logic solving communities and their
members. It aims at reducing duplication of effort and resources as well
as enabling individual researchers or groups with no access to
comparable infrastructure.

StarExec allows

community organizers to store, manage and make available
benchmark libraries;

competition organizers to run logic solver competitions; and

community members to perform comparative evaluations of logic
solvers on public or private benchmark problems.

The first public events ran on StarExec in Summer 2013 (CoCo 2013 and
SMT-EVAL 2013).
Several more will run in Summer 2014.

Credits

StarExec is supported by a $1.85 million USD grant from the
National Science Foundation, the details of which can be found
here
and
here.

Several people have contributed in various capacities to the StarExec
project so far.

The following people were involved in the development
of the software infrastructure at various stages of the project:
Eric Burns,
Todd Elvers,
Albert Giegerich,
Pat Hawks,
Tyler Jensen,
Wyatt Kaiser,
Ben McCune,
Muhammad Nassar,
CJ Palmer,
Vivek Sardeshmukh,
Skylar Stark,
and
Ruoyu Zhang.

Computer system support and assistance in designing and building
the hardware infrastructure was provided by
Hugh Brown,
Dan Holstad,
Jamie Tisdale,
and
JJ Ulrich.