| Str | Args | Cheat | Add | Prems | Prover | Thm% | CoS% | Uniq | ST⌀ | STΣ | Thm | CoS | Maybe | Empty | Err | Found |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| * | * | * | 10 | * | * | 60.581 | 29.201 | 78 | 0.259 | 480.67 | 1251 | 603 | 211 | 0 | 2065 | |
| * | * | * | 1 | * | * | 57.530 | 26.925 | 14 | 0.239 | 417.17 | 1188 | 556 | 321 | 0 | 2065 | |
| * | * | * | 0 | * | * | 55.303 | 14.334 | 6 | 0.271 | 390.17 | 1142 | 296 | 627 | 0 | 2065 | |
| any | 62.373 | 35.835 | 1288 | 740 | 2065 |
| Prover | Sum% | Sum | G+2 | G1+2 | G-1+2 | G+2M | Alt |
| *-*-*-10-*-* | 60.581 | 1251 | |||||
| *-*-*-1-*-* | 62.082 | 1282 | |||||
| *-*-*-0-*-* | 62.373 | 1288 |