Specifications

The competition will run on a cluster of 11 machines at The University of Iowa. For SMT-COMP 2010, the specifications of these machines are:

Nine are 2.4 GHz AMD Opteron 250s, configured for single core, 64-bit processing

• 1 MB cache
• 4 GB main memory

Two are 2.53 GHz Intel Xeon E5540s, configured for single core, 64-bit processing

• 8 MB cache
• 12 GB main memory

All eleven execution nodes have the same software configuration:

• Linux, kernel version 2.6.18-128.2.1.el5
• Red Hat Enterprise Linux Client release 5.2 (Tikanga)
• glibc-2.5-24.el5_2.2
• runtime libraries from gcc-4.1.2-42.el5

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.

Last modified: Tue 17 Feb 2015 15:01 UTC