Evaluating ATP Systems

Aim

• Make
  • Unbiased evaluations
  of the
  • Relative abilities of ATP systems

• Understand
  • Which systems and techniques work well
  for
  • What types of problems

Motivation

• Substantiate realistic and meaningful performance claims
• Identify specialist and general capabilities of ATP techniques
• Provide information to potential users about systems' qualities
• Stimulate and focuss ATP research and system development