Results for: THF TFA TFN FOF EPR UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ EPU EPS UEQ SLH ICU

Results for THF (Higher-order Theorems)

Results for: THF TFA TFN FOF EPR UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ EPU EPS UEQ SLH ICU

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

Results for: THF TFA TFN FOF EPR UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ EPU EPS UEQ SLH ICU

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

Results for: THF TFA TFN FOF EPR UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ EPU EPS UEQ SLH ICU

Results for FOF (First-order Theorems)

Results for: THF TFA TFN FOF EPR UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ EPU EPS UEQ SLH ICU

Results for EPR (Effectively Propositional CNF)

Results for: THF TFA TFN FOF EPR UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ EPU EPS UEQ SLH ICU

Results for UEQ (Unit Equality CNF)

Results for: THF TFA TFN FOF EPR UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ EPU EPS UEQ SLH ICU

Results for SLH (SLedgeHammer Theorems)

Results for: THF TFA TFN FOF EPR UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ EPU EPS UEQ SLH ICU

Results for ICU (I Challenge yoU)

Results for: THF TFA TFN FOF EPR UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ EPU EPS UEQ SLH ICU

Results for TNE (THF without Equality)

Results for: THF TFA TFN FOF EPR UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ EPU EPS UEQ SLH ICU

Results for TEQ (THF with Equality)

Results for: THF TFA TFN FOF EPR UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ EPU EPS UEQ SLH ICU

Results for TFI (TFA using Integers)

Results for: THF TFA TFN FOF EPR UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ EPU EPS UEQ SLH ICU

Results for TFE (TFA using Reals)

Results for: THF TFA TFN FOF EPR UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ EPU EPS UEQ SLH ICU

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

Results for: THF TFA TFN FOF EPR UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ EPU EPS UEQ SLH ICU

Results for FNE (FOF Theorems without Equality)

Results for: THF TFA TFN FOF EPR UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ EPU EPS UEQ SLH ICU

Results for FEQ (FOF Theorems with Equality)

Results for: THF TFA TFN FOF EPR UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ EPU EPS UEQ SLH ICU

Results for EPU (EPR Unsatisfiable CNF)

Results for: THF TFA TFN FOF EPR UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ EPU EPS UEQ SLH ICU

Results for EPS (EPR Satisfiable CNF)

Results for: THF TFA TFN FOF EPR UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ EPU EPS UEQ SLH ICU

Results for UEQ (Unit Equality CNF)

Results for: THF TFA TFN FOF EPR UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ EPU EPS UEQ SLH ICU

Results for SLH (SLedgeHammer Theorems)

Results for: THF TFA TFN FOF EPR UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ EPU EPS UEQ SLH ICU

Results for ICU (I Challenge yoU)