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.
- 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.
See here for machine specifications for the compute nodes.
Use of StarExec is bound by the following terms of service.
Development details can be found on our public development wiki.
StarExec Advisory Committee
- Nikolaj Bjørner (Microsoft Research)
- Ewen Denney (NASA Ames)
- Aarti Gupta (NEC Labs)
- Ian Horrocks (Oxford)
- Giovambattista Ianni (University of Calabria)
- Daniel Le Berre (University of Artois)
- Johannes Waldmann (Leipzig University of Applied Sciences)
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, 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.
In addition to the members of the Advisory Board, the following people have provided useful feedback and input: Clark Barrett, Christoph Benzmüller, Armin Biere, David Cok, Morgan Deters, Jürgen Giesl, Alberto Griggio, Thomas Krennwallner, Jens Otten, Andrei Paskevich, Olivier Roussel, Martina Seidl, Stephan Schulz, Michael Tautschnig, Christoph Wintersteiger, and Harald Zankl.