Results for THF (Higher-order Theorems)

LEO‑II 1.7.0	213/500	500
Leo‑III 1.3	355/500
Satallax 3.2	406/500
Satallax 3.3	401/500	500

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

CVC4 1.6pre	157/200	200
Princess 170717	105/200
Vampire 4.1	162/200
Vampire 4.3	163/200	200

Results for FOF (First-order Theorems)

CSE 1.0	123/500	500
CSE 1.1	126/500
CSE_E 1.0	363/500
CVC4 1.6pre	298/500
E 2.2pre	350/500
Geo‑III 2018C	50/500
iProver 2.8	248/500
leanCoP 2.2	143/500
Leo‑III 1.3	256/500
nanoCoP 1.1	133/500
Prover9 1109a	122/500
Twee 2.2	74/500
Vampire 4.2	454/500
Vampire 4.3	461/500	500

Results for FNT (First-order Non-theorems)

CVC4 SAT‑1.6pre	116/200	200
E FNT‑2.2pre	38/200
Geo‑III 2018C	38/200
iProver SAT‑2.8	137/200
Vampire SAT‑4.1	188/200
Vampire SAT‑4.3	191/200	200

Results for EPR (Effectively Propositional CNF)

E 2.2pre	27/150	150
Geo‑III 2018C	10/150
iProver 2.6	126/150
iProver 2.8	133/150
Leo‑III 1.3	17/150
Vampire 4.3	128/150	150

Results for LTB (Large Theory Batch Problems)

E LTB‑2.2pre	458/4999	5000
Grackle 0.1	379/4893
iProver LTB‑2.8	613/4999
MaLARea 0.6	876/5000
Vampire LTB‑4.0	594/3553
Vampire LTB‑4.3	757/5000	5000