| Str | Args | Cheat | Add | Prems | Prover | Thm% | CoS% | Uniq | ST⌀ | STΣ | Thm | CoS | Maybe | Empty | Err | Found |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| * | * | nc | * | * | * | 61.937 | 29.879 | 95 | 0.273 | 517.50 | 1279 | 617 | 169 | 0 | 2065 | |
| * | * | tnc | * | * | * | 55.351 | 25.278 | 1 | 0.242 | 402.50 | 1143 | 522 | 400 | 0 | 2065 | |
| * | * | nc_opt | * | * | * | 51.671 | 7.167 | 8 | 0.303 | 368.00 | 1067 | 148 | 850 | 0 | 2065 | |
| any | 62.373 | 36.852 | 1288 | 761 | 2065 |
| Prover | Sum% | Sum | G+2 | G1+2 | G-1+2 | G+2M | Alt |
| *-*-nc-*-*-* | 61.937 | 1279 | |||||
| *-*-nc_opt-*-*-* | 62.324 | 1287 | |||||
| *-*-tnc-*-*-* | 62.373 | 1288 |