Problems

THF, FOF, FNT, UEQ

• TPTP v7.5.0, obfuscated
• Non-biased. Non-propositional.
• Rating 0.21 to 0.99
• Selected based on random seed from panel
• Limited similarity. Biased towards 50% unseen
• Presented in increasing order of rating

SLH

• Generated by Sledgehammer from the AFP
• Testing to extract "difficult" problems
• Presented in increasing order of difficulty

LTB

• Generated by Sledgehammer from the JJT session of AFP
• TH1, TH0, TF1, TF0, FOF versions, solve any one
• Testing to extract "difficult" problems
• Presented in natural order, but ...
• Repeated attempts allowed