Divisions

Competition Divisions

• The MIX Division (unsatisfiable clause sets)
  • 5 problem categories (for analysis of specialization);
    2 ranking classes (for analysis of cappability)

• The FOF Division (FOF axioms with a provable conjecture)
  • 2 problem classes; 2 ranking classes

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

• The EPR Division (finite HU clause sets)
  • 2 problem classes (unsatisfiable and satisfiable);
    1 ranking class

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

Demonstration Division

• Special hardware
• Special entrants