Results for:
THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for THF (Higher-order Theorems)


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

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


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for FOF (First-order Theorems)


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for FNT (First-order Non-theorems)


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for EPR (Effectively Propositional CNF)


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for LTB (Large Theory Batch Problems)


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for TNE (THF without Equality)


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for TEQ (THF with Equality)


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for TFI (TFA using Integers)


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for TFR (TFA using Rationals xor Reals)


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for FNE (FOF Theorems without Equality)


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for FEQ (FOF Theorems with Equality)


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for CNE (Unsatisfiable CNF without Equality)


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for CEQ (Unsatisfiable CNF with Equality)


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for FNN (FOF Non-theorems without Equality)


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for FNQ (FOF Non-theorems with Equality)


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for SNE (Satisfiable CNF without Equality)


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for SEQ (Satisfiable CNF with Equality)


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for EPT (EPR Unsatisfiable CNF)


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for EPS (EPR Satisfiable CNF)


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for ISA (LTB Isabelle Theorems)


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for MZR (LTB Mizar Theorems)


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for SMO (LTB SUMO Questions)