Divisions

Competition Divisions

• The THF Division - 500 Typed Higher-order Form theorems

• The FOF Division - 500 First-Order Form theorems

• The FNT Division - 250 First-order Non-Theorems

• The UEQ Division - 250 Unit EQuality CNF

• The SLH Division - 720 TH0 SLedgeHammer theorems

• The LTB Division - 10000 Large Theory Batch theorems
  • TH1, TH0, TF1, TF0, FOF - solve any version

Demonstration Division

• Previous winners
• Special entrants
• Special hardware