Results for: FFT FTT MRT FNE FEQ FEP FNN FNQ
Results for FFT (First-order Theorems)
* indicates a problem not previously seen by the systems.
+ indicates a solution was output by the system.
Results for: FFT FTT MRT FNE FEQ FEP FNN FNQ
Results for FTT (First-order Non-theorems)
* indicates a problem not previously seen by the systems.
+ indicates a solution was output by the system.
Results for: FFT FTT MRT FNE FEQ FEP FNN FNQ
Results for MRT (Mizar Theorems in Batch Mode)
* indicates a problem not previously seen by the systems.
+ indicates a solution was output by the system.
Results for: FFT FTT MRT FNE FEQ FEP FNN FNQ
Results for FNE (Theorems without Equality)
* indicates a problem not previously seen by the systems.
+ indicates a solution was output by the system.
Results for: FFT FTT MRT FNE FEQ FEP FNN FNQ
Results for FEQ (Theorems with Equality)
* indicates a problem not previously seen by the systems.
+ indicates a solution was output by the system.
Results for: FFT FTT MRT FNE FEQ FEP FNN FNQ
Results for FEP (Effectively Propositional Theorems)
* indicates a problem not previously seen by the systems.
+ indicates a solution was output by the system.
Results for: FFT FTT MRT FNE FEQ FEP FNN FNQ
Results for FNN (Non-theorems without Equality)
* indicates a problem not previously seen by the systems.
+ indicates a solution was output by the system.
Results for: FFT FTT MRT FNE FEQ FEP FNN FNQ
Results for FNQ (Non-theorems with Equality)
* indicates a problem not previously seen by the systems.
+ indicates a solution was output by the system.