| Isabelle Theorems | Vampire‑LTB 2.6 | E‑MaLeS‑LTB 1.1 | EP‑LTB 1.6pre | Vampire‑LTB 1.8 | iProver‑LTB 0.99 | leanCoP‑ARDE 2.2 | iProver‑Eq‑LTB 0.8 | E‑KRHyper‑LTB 1.3 |
|---|---|---|---|---|---|---|---|---|
| Solved/75 | 54/75 | 50/75 | 47/75 | 39/75 | 25/75 | 17/75 | 16/75 | 7/75 |
| Av. CPU Time | 28.63 | 47.19 | 86.60 | 20.55 | 34.65 | 41.09 | 14.77 | 3.83 |
| Av. WC Time | 6.13 | 11.55 | 11.39 | 4.63 | 11.31 | 11.87 | 9.40 | 3.88 |
| Solutions | 54/75 | 49/75 | 42/75 | 39/75 | 25/75 | 17/75 | 0/75 | 0/75 |
| SUMO Questions | Vampire‑LTB 1.8 | iProver‑LTB 0.99 | EP‑LTB 1.6pre | E‑KRHyper‑LTB 1.3 | Vampire‑LTB 2.6 | E‑MaLeS‑LTB 1.1 | iProver‑Eq‑LTB 0.8 | leanCoP‑ARDE 2.2 |
|---|---|---|---|---|---|---|---|---|
| Solved/20 | 18/20 | 16/20 | 15/20 | 13/20 | 12/20 | 11/20 | 10/20 | 2/20 |
| Av. CPU Time | 12.47 | 26.78 | 28.65 | 3.22 | 10.63 | 16.23 | 26.36 | 2.58 |
| Av. WC Time | 3.85 | 10.34 | 6.02 | 3.24 | 5.26 | 8.20 | 10.83 | 1.50 |
| Answers | 17/20 | 16/20 | 15/20 | 13/20 | 12/20 | 11/20 | 0/20 | 0/20 |