| Str | Args | Cheat | Add | Prems | Prover | Thm% | CoS% | Uniq | ST⌀ | STΣ | Thm | CoS | Maybe | Empty | Err | Found |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| seq | * | * | * | * | * | 60.484 | 28.814 | 43 | 0.205 | 378.08 | 1249 | 595 | 221 | 0 | 2065 | |
| default | * | * | * | * | * | 55.303 | 14.334 | 6 | 0.217 | 311.42 | 1142 | 296 | 627 | 0 | 2065 | |
| pgrank | * | * | * | * | * | 53.753 | 4.794 | 16 | 0.251 | 303.92 | 1110 | 99 | 856 | 0 | 2065 | |
| epcl | * | * | * | * | * | 53.511 | 30.169 | 7 | 0.170 | 294.58 | 1105 | 623 | 337 | 0 | 2065 | |
| any | 62.373 | 38.692 | 1288 | 799 | 2065 |
| Prover | Sum% | Sum | G+2 | G1+2 | G-1+2 | G+2M | Alt |
| seq-*-*-*-*-* | 60.484 | 1249 | |||||
| pgrank-*-*-*-*-* | 61.646 | 1273 | |||||
| epcl-*-*-*-*-* | 62.082 | 1282 | |||||
| default-*-*-*-*-* | 62.373 | 1288 |