| Str | Predict | PrArg | Thm% | CoS% | Uniq | ST⌀ | STΣ | Thm | CoS | Maybe | Empty | Err | Found |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| e | par3 | 42.391 | 0.000 | 212 | 0.384 | 2253.33 | 5875 | 0 | 7984 | 0 | 13859 | ||
| z3 | 32 | 40.623 | 0.022 | 441 | 0.399 | 2254.83 | 5649 | 3 | 0 | 8254 | 13906 | ||
| vam | 26 | 39.313 | 0.000 | 102 | 0.365 | 1994.83 | 5468 | 0 | 8441 | 0 | 13909 | ||
| any | any | 46.751 | 0.022 | 6503 | 3 | 13910 |
| Prover | Sum% | Sum | G+2 | G1+2 | G-1+2 | G+2M | Alt |
| e-par3 | 42.236 | 5875 | |||||
| z3-32 | 46.017 | 6401 | |||||
| vam-26 | 46.751 | 6503 |