| Str | Args | Cluster | Add | Prems | Prover | Thm% | CoS% | Uniq | ST⌀ | STΣ | Thm | CoS | Maybe | Empty | Err | Found |
|---|
| * | * | 0 | 60 | * | * | 36.804 | 0.000 | 37 | 0.240 | 158.39 | 661 | 0 | 1135 | 0 | | 1796 |
| * | * | 0 | 20 | * | * | 35.523 | 0.000 | 18 | 0.214 | 136.40 | 638 | 0 | 1158 | 0 | | 1796 |
| * | * | 0 | 10 | * | * | 33.463 | 0.000 | 3 | 0.184 | 110.74 | 601 | 0 | 1195 | 0 | | 1796 |
| * | * | 0 | 0 | * | * | 28.786 | 0.000 | 1 | 0.161 | 83.27 | 517 | 0 | 1279 | 0 | | 1796 |
| * | * | 0 | 5 | * | * | 27.951 | 0.000 | 0 | 0.157 | 78.90 | 502 | 0 | 1280 | 14 | | 1796 |
| * | * | 0 | 1 | * | * | 27.895 | 0.000 | 0 | 0.157 | 78.65 | 501 | 0 | 1292 | 3 | | 1796 |
| * | * | 0 | all | * | * | 21.047 | 0.000 | 26 | 0.229 | 86.65 | 378 | 0 | 1346 | 72 | | 1796 |
| any | | | | | | 40.813 | 0.000 | | | | 733 | 0 | | | | 1796 |
Greedy sequence
| Prover | Sum% | Sum | G+2 | G1+2 | G-1+2 | G+2M | Alt |
| *-*-0-60-*-* | 36.804 | 661 | | | | | |
| *-*-0-20-*-* | 39.087 | 702 | | | | | |
| *-*-0-all-*-* | 40.590 | 729 | | | | | |
| *-*-0-10-*-* | 40.757 | 732 | | | | | |
| *-*-0-0-*-* | 40.813 | 733 | | | | | |