| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|
The competition will run on the StarExec cluster of machines at the University of Iowa.
The machines have these specifications:
# Starexec stats nodes 0 - 32:
Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz (2393 MHZ)
10240 KB Cache
129022 MB main memory
# Starexec stats nodes 33 - 192:
Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz (2393 MHZ)
10240 KB Cache
258294 MB main memory
# Software:
OS: Red Hat Enterprise Linux Workstation release 6.3 (Santiago)
kernel: 2.6.32-431.1.2.el6.x86_64
glibc: gcc-4.4.6-4.el6.x86_64
glibc-2.12-1.132.el6.i686
A StarExec virtual machine image is available here.
The machines have 2 processors each and 4 cores per processor. For the competition, two job-pairs will be run on a given machine at a given time (one on each processor, with 4 cores available), and the available memory will be capped at 61440 MB.
We reserve the right to make software and configuration changes before the competition. Please exercise your solver(s) on a few benchmarks to ensure that they run successfully.
| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|