Source of Problems
Requirements
Large enough to get statistical significance
Spanning a diversity of subject matters
Maintained with latest application problems
With adequate organizational structure
Community accepted
Use the
TPTP