Resources

Computers

• StarExec Miami cluster
• Octa-core Intel(R) Xeon(R) E5-2667, 3.20GHz CPU
• 128GB memory
• CentOS Linux release 7.4.1708
• One ATP system per CPU
• All cores available

Time Limits

• THF, FOF, FNT, UEQ: 120s wall clock per problem
• SLH: 30s CPU per problem, per Sledgehammer
• LTB: 172800s wall clock for the batch