| Higher-order Theorems | Vampire 5.0 | Vampire 5.0.1 | Zipperpin 2.1.9999 | E 3.5.1 | Leo‑III 1.8.0 | LEO‑II 1.7.0 |
|---|---|---|---|---|---|---|
| Solved/400 | 354/400 | 352/400 | 347/400 | 324/400 | 160/400 | 67/400 |
| Solutions/400 | 354/400 | 352/400 | 347/400 | 323/400 | 160/400 | 67/400 |
| First-order Theorems | Vampire 5.0.1 | Vampire 5.0 | E 3.5.1 | CSI_PP 1.0 | iProver 3.9.4 | Drodi 4.1.1 | LisaST 0.9 | Zipperpin 2.1.9999 | Prover9 2026‑6A | Prover9 1109a | FindProof 0.1 | mrs 0.2.0 | SUPr 1.0 | ConnectPP 0.7.2 | VIP 1.718 | SATResetCoP 1.0 | SPASS‑SCL 0.1.1 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Solved/400 | 381/400 | 328/400 | 264/400 | 264/400 | 250/400 | 215/400 | 199/400 | 192/400 | 143/400 | 92/400 | 91/400 | 79/400 | 73/400 | 64/400 | 32/400 | 20/400 | 14/400 |
| Solutions/400 | 381/400 | 328/400 | 264/400 | 264/400 | 248/400 | 214/400 | 199/400 | 192/400 | 143/400 | 92/400 | 91/400 | 79/400 | 73/400 | 64/400 | 32/400 | 20/400 | 14/400 |
| First-order Non-theorems | Vampire 5.0.1 | Vampire 4.8 | iProver 3.9.4 | FMB4J 0.1 | Mace4 2026‑6A | E 3.5.1 | Drodi 4.1.1 | ConnectPP 0.7.2 |
|---|---|---|---|---|---|---|---|---|
| Solved/150 | 143/150 | 131/150 | 71/150 | 51/150 | 45/150 | 42/150 | 41/150 | 11/150 |
| Solutions/150 | 143/150 | 127/150 | 71/150 | 51/150 | 44/150 | 42/150 | 41/150 | 0/150 |
| Unit Equality CNF | Vampire 5.0.1 | Vampire 5.0 | Twee 2.7 | FindProof 0.1 | CSI_PP 1.0 | E 3.5.1 | Prover9 2026‑6A | iProver 3.9.4 | Drodi 4.1.1 | mrs 0.2.0 |
|---|---|---|---|---|---|---|---|---|---|---|
| Solved/400 | 370/400 | 322/400 | 286/400 | 269/400 | 258/400 | 255/400 | 208/400 | 198/400 | 163/400 | 76/400 |
| Solutions/400 | 370/400 | 322/400 | 286/400 | 269/400 | 258/400 | 255/400 | 208/400 | 198/400 | 163/400 | 76/400 |
| Proof Verification | GAPT 2.20 | VaLeaDate 0.1 | Norgler 1.1 | ProofCheck 1.0 | ProofGuard 1.0 | mrs‑proover 0.2.0 | PyCheck 0.1 | GDV 2.0 | GDV‑LP 2.0 | CheckProof 0.1 |
|---|---|---|---|---|---|---|---|---|---|---|
| Score/150 | 114/150 | 97/150 | 93/150 | 67/150 | 55/150 | 37/150 | 19/150 | -1/150 | -5/150 | -110/150 |