Results for: THF FOF FNT UEQ SLH LTB TNE TEQ FNE FEQ FNN FNQ UEQ SLH JJT

Results for THF (Higher-order Theorems)

Results for: THF FOF FNT UEQ SLH LTB TNE TEQ FNE FEQ FNN FNQ UEQ SLH JJT

Results for FOF (First-order Theorems)

Results for: THF FOF FNT UEQ SLH LTB TNE TEQ FNE FEQ FNN FNQ UEQ SLH JJT

Results for FNT (First-order Non-theorems)

Results for: THF FOF FNT UEQ SLH LTB TNE TEQ FNE FEQ FNN FNQ UEQ SLH JJT

Results for UEQ (Unit Equality CNF)

Results for: THF FOF FNT UEQ SLH LTB TNE TEQ FNE FEQ FNN FNQ UEQ SLH JJT

Results for SLH (SLedgeHammer Theorems)

Results for: THF FOF FNT UEQ SLH LTB TNE TEQ FNE FEQ FNN FNQ UEQ SLH JJT

Results for LTB (Large Theory Batch)

Results for: THF FOF FNT UEQ SLH LTB TNE TEQ FNE FEQ FNN FNQ UEQ SLH JJT

Results for TNE (THF without Equality)

Results for: THF FOF FNT UEQ SLH LTB TNE TEQ FNE FEQ FNN FNQ UEQ SLH JJT

Results for TEQ (THF with Equality)

Results for: THF FOF FNT UEQ SLH LTB TNE TEQ FNE FEQ FNN FNQ UEQ SLH JJT

Results for FNE (FOF Theorems without Equality)

Results for: THF FOF FNT UEQ SLH LTB TNE TEQ FNE FEQ FNN FNQ UEQ SLH JJT

Results for FEQ (FOF Theorems with Equality)

Results for: THF FOF FNT UEQ SLH LTB TNE TEQ FNE FEQ FNN FNQ UEQ SLH JJT

Results for FNN (FOF Non-theorems without Equality)

Results for: THF FOF FNT UEQ SLH LTB TNE TEQ FNE FEQ FNN FNQ UEQ SLH JJT

Results for FNQ (FOF Non-theorems with Equality)

Results for: THF FOF FNT UEQ SLH LTB TNE TEQ FNE FEQ FNN FNQ UEQ SLH JJT

Results for UEQ (Unit Equality CNF)

Results for: THF FOF FNT UEQ SLH LTB TNE TEQ FNE FEQ FNN FNQ UEQ SLH JJT

Results for SLH (SLedgeHammer Theorems)

Results for: THF FOF FNT UEQ SLH LTB TNE TEQ FNE FEQ FNN FNQ UEQ SLH JJT

Results for JJT (LTB JinjaThreads Theorems)