Results for THF (Higher-order Theorems)

Results for FOF (First-order Theorems)

Results for FNT (First-order Non-theorems)

Results for UEQ (Unit Equality CNF)

Results for PRV (Proof Verification)

Results for TNE (THF without Equality)

Results for TEQ (THF with Equality)

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 UEQ (Unit Equality CNF)

Results for PRV (Proof Verification)