Divisions

Competition Divisions

• The FOF Division (FOF axioms with a provable conjecture)
  • 2 problem categories (for analysis of specialization);
    2 ranking classes (for analysis of capability)

• The FNT Division (FOF axioms possibly with non-provable conjecture)
  • 2 problem categories; 2 ranking classes

• The CNF Division (unsatisfiable clause sets)
  • 5 problem categories; 1 ranking classes

• The SAT Division (satisfiable clause sets)
  • 2 problem categories; 1 ranking classes

• The EPR Division (finite HU clause sets)
  • 2 problem categories; 1 ranking class

• The UEQ Division (unsatisfiable unit equality clauses)
  • 1 problem category; 1 ranking class

• The LTB Division (batches of FOF problems)
  • 3 problem categories; 2 ranking class

Demonstration Division

• Special hardware
• Special entrants