Intuitive Evaluation

Roughly ...

• For ATP systems - count how many ATP problems they can solve
• For ATP problems - count how many ATP systems can solve them

Precisely ...

• Need a source of ATP systems
• Need a source of ATP problems
• Need to be fair
• Need to consider resource limits
• Need to run the ATP systems on the ATP problems