Results for: THF TFA FOF FNT UEQ LTB TNE TEQ TFI TFE FNE FEQ FNN FNQ UEQ HL4
Results for THF (Higher-order Theorems)
* indicates a problem not previously seen by the systems.
+ indicates a solution was output by the system.
Results for: THF TFA FOF FNT UEQ LTB TNE TEQ TFI TFE FNE FEQ FNN FNQ UEQ HL4
Results for TFA (Typed First-order Theorems +*-/)
* indicates a problem not previously seen by the systems.
+ indicates a solution was output by the system.
Results for: THF TFA FOF FNT UEQ LTB TNE TEQ TFI TFE FNE FEQ FNN FNQ UEQ HL4
Results for FOF (First-order Theorems)