Results for THF (Higher-order Theorems)

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

Results for TFN (Typed First-order Non-theorems)

Results for FOF (First-order Theorems)

Results for UEQ (Unit Equality CNF)

Results for SLH (SLedgeHammer Theorems)

Results for ICU (I Challenge yoU)

Results for TNE (THF without Equality)

Results for TEQ (THF with Equality)

Results for TFI (TFA using Integers)

Results for TFE (TFA using Reals)

Results for TFN (Typed First-order Non-theorems)

Results for FNE (FOF Theorems without Equality)

Results for FEQ (FOF Theorems with Equality)

Results for UEQ (Unit Equality CNF)

Results for SLH (SLedgeHammer Theorems)

Results for ICU (I Challenge yoU)