Results for THF (Higher-order Theorems)

Results for THN (Higher-order Non-theorems)

Results for TFA (Typed First-order Theorems +*-/)

Results for TFN (Typed First-order Non-theorems +*-/)

Results for FOF (First-order Theorems)

Results for FNT (First-order Non-theorems)

Results for EPR (Effectively Propositional CNF)

Results for LTB (Large Theory Batch Problems)

Results for TNE (THF without Equality)

Results for TEQ (THF with Equality)

Results for TNN (THN without Equality)

Results for TNQ (THN with Equality)

Results for TFI (TFA using Integers)

Results for TFR (TFA using Rationals)

Results for TFE (TFA using Reals)

Results for TIN (TFN using Integers)

Results for TRN (TFN using Rationals)

Results for TEN (TFN using Reals)

Results for FNE (FOF Theorems without Equality)

Results for FEQ (FOF Theorems with Equality)

Results for FNN (FOF Non-theorems without Equality)

Results for FNQ (FOF Non-theorems with Equality)

Results for EPT (EPR Unsatisfiable CNF)

Results for EPS (EPR Satisfiable CNF)

Results for HLL (LTB HOL Light Theorems)

Results for HL4 (LTB HOL 4 Theorems)

Results for ISA (LTB Isabelle Theorems)

Results for MZR (LTB Mizar Theorems)