tptp1T

• Identifes problems with specified characteristics

• CNF or FOF

• TPTP Domain

• Problem version

• Rating

• Theoremhood

• Syntactic criteria
  • Number of predicates
  • Predicate arities
  • Number of functions
  • Function arities
  • Variables
  • Horn or non-Horn
  • Range restriction
  • Literals per clause
  • Equality