Compute Resources

Get Enough

• Meaningful results
• One day competition
• Maximize number of problems

CASC Computers

• Various in the early days
• University of Manchester
• Max-Planck-Institut für Informatik
• StarExec

Harness

• Logic solvers are resource hogs
• Tight control - better than regular cluster software