Eligible Problems
Source of Problems
Use the TPTP
Encoding of Problems
Use non-biased TPTP problems
Difficulty of Problems
Problem difficulty 0.21 to 0.99
Use unseen problems to negate tuning
