Colour key: 1st place 2nd place 3rd place Demonstration
Higher-order Theorems Vampire
4.8 		Zipperpin
2.1.9999 		Zipperpin
2.1.999 		E
3.1 		Leo-III
1.7.8 		Satallax
3.4 		cvc5
1.0.5 		Lash
1.13 		LEO-II
1.7.0 		Duper
1.0
Solved/500 452/500 440/500 438/500 407/500 302/500 268/500 258/500 208/500 58/500 36/500
Solutions 452 90% 440 88% 438 87% 407 81% 302 60% 268 53% 258 51% 196 39% 58 11% 36  7%
Typed First-order Theorems +*-/ Vampire
4.8 		cvc5
1.0 		cvc5
1.0.5 		iProver
3.8 		Princess
230619
Solved/200 154/200 148/200 144/200 84/200 95/200
Solutions 154 77% 148 74% 144 72% 83 41% 68 34%
Typed First-order Non-theorems Vampire
4.8 		cvc5
1.0.5 		iProver
3.8 		E
3.1 		Beagle
0.9.47
Solved/150 108/150 58/150 91/150 28/150 22/150
Solutions 87 58% 58 38% 57 38% 28 18% 0  0%
First-order Theorems Vampire
4.8 		Vampire
4.7 		E
3.1 		iProver
3.8 		CSE_E
1.5 		GKC
0.8 		Drodi
3.5.1 		cvc5
1.0.5 		Zipperpin
2.1.9999 		Prover9
1109a 		CSE
1.6 		Princess
230619 		Duper
1.0
Solved/500 451/500 448/500 393/500 355/500 346/500 310/500 301/500 297/500 269/500 127/500 119/500 158/500 15/500
Solutions 451 90% 448 89% 393 78% 354 70% 346 69% 310 62% 301 60% 297 59% 269 53% 127 25% 119 23% 114 22% 15  3%
First-order Non-theorems Vampire
4.7 		Vampire
4.8 		cvc5
1.0.5 		E
3.1 		iProver
3.8
Solved/150 142/150 144/150 66/150 59/150 82/150
Solutions 142 94% 113 75% 66 44% 59 39% 4  2%
Unit Equality CNF Twee
2.4.1 		Twee
2.4.2 		Vampire
4.8 		E
3.1 		iProver
3.8 		Drodi
3.5.1 		GKC
0.8 		Toma
0.4
Solved/300 260/300 260/300 255/300 242/300 137/300 125/300 103/300 8/300
Solutions 260 86% 258 86% 255 85% 242 80% 137 45% 125 41% 103 34% 8  2%
SLedgeHammer Theorems E
3.0 		E
3.1 		Zipperpin
2.1.9999 		Vampire
4.8 		cvc5
1.0.5 		Satallax
3.4 		Lash
1.13 		Leo-III
1.7.8 		Duper
1.0
Solved/1000 467/1000 467/1000 462/1000 454/1000 362/1000 278/1000 219/1000 125/1000 51/1000
Solutions 467 46% 467 46% 462 46% 454 45% 362 36% 278 27% 219 21% 125 12% 51  5%