The competition will run on a cluster of 11 machines at The University of Iowa. For SMT-COMP 2012, the specifications of these machines are:
Nine are 2.4 GHz AMD Opteron 250s, configured for single core, 64-bit processing
Two are 2.53 GHz Intel Xeon E5540s, configured for single core, 64-bit processing
All eleven execution nodes have the same software configuration:
However, please note that we may make software and configuration changes before the competition. When you submit your solver for SMT-COMP through the SMT-Exec service, it is checked for compatibility with the competition infrastructure on simple benchmarks supported by your solver.
Note that the organizers had expected the Star-Exec service to be ready for the 2012 competition; the Star-Exec service would have provided considerably more resources. However, development delays have required us (as of mid-May 2012) to plan to use SMT-Exec again this year.