Home Intro Rules & Submission Participants Tools Specs Travel Grants Thanks SMT-LIB Previous

Specifications

The competition will run on a cluster of 11 machines at The University of Iowa. For SMT-COMP 2009, 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 this year. 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.

Home Intro Rules & Submission Participants Tools Specs Travel Grants Thanks SMT-LIB Previous

Last modified: Tue 17 Feb 2015 15:03 UTC
Valid XHTML 1.0 Valid CSS!