Results for THF (Higher-order Theorems)

cvc5 1.0.5	258/500	500
Duper 1.0	36/500
E 3.1	407/500
Lash 1.13	208/500
LEO-II 1.7.0	58/500
Leo-III 1.7.8	302/500
Satallax 3.4	268/500
Vampire 4.8	452/500
Zipperpin 2.1.999	438/500
Zipperpin 2.1.9999	440/500	500

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

cvc5 1.0	148/200	200
cvc5 1.0.5	144/200
iProver 3.8	84/200
Princess 230619	95/200
Vampire 4.8	154/200	200

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

Beagle 0.9.47	22/150	150
cvc5 1.0.5	58/150
E 3.1	28/150
iProver 3.8	91/150
Vampire 4.8	108/150	150

Results for FOF (First-order Theorems)

CSE 1.6	119/500	500
CSE_E 1.5	346/500
cvc5 1.0.5	297/500
Drodi 3.5.1	301/500
Duper 1.0	15/500
E 3.1	393/500
GKC 0.8	310/500
iProver 3.8	355/500
Princess 230619	158/500
Prover9 1109a	127/500
Vampire 4.7	448/500
Vampire 4.8	451/500
Zipperpin 2.1.9999	269/500	500

Results for FNT (First-order Non-theorems)

cvc5 1.0.5	66/150	150
E 3.1	59/150
iProver 3.8	82/150
Vampire 4.7	142/150
Vampire 4.8	144/150	150

Results for UEQ (Unit Equality CNF)

Drodi 3.5.1	125/300	300
E 3.1	242/300
GKC 0.8	103/300
iProver 3.8	137/300
Toma 0.4	8/300
Twee 2.4.1	260/300
Twee 2.4.2	260/300
Vampire 4.8	255/300	300

Results for SLH (SLedgeHammer Theorems)

cvc5 1.0.5	362/1000	1000
Duper 1.0	51/1000
E 3.0	467/1000
E 3.1	467/1000
Lash 1.13	219/1000
Leo-III 1.7.8	125/1000
Satallax 3.4	278/1000
Vampire 4.8	454/1000
Zipperpin 2.1.9999	462/1000	1000