Time Limits

CPU vs. Wall Clock (WC)

• CPU emphasizes algrithmic and implementation efficiency
• WC emphasizes user perspective (includes CPU)
• WC encourages use of all cores

Per-problem or Per-batch

• Per-problem is one user perspective
• Per-batch is another user perspective

Time Limit

• Minimally 120s per-problem limit
• 15s-90s per problem per-batch limit

•                   Number of workstations * Time allocated
  Time limit = --------------------------------------------------
               Number of ATP systems * Minimal number of problems