Divisions

Competition Divisions

• The THF Division - 200 Typed Higher-order theorems

• The TFA Division - 150 Typed First-order theorems with arithmetic

• The FOF Division - 450 First-order theorems, FOF and CNF

• The FNT Division - 300 First-order non-theorems, FOF and CNF

• The EPR Division - 150 Effectively propositional CNF

• The LTB Division - 175 Batches of large-theory FOF problems

Demonstration Division

• Special hardware; Special entrants