| Str | Args | Cluster | Add | Prems | Prover | Thm% | CoS% | Uniq | ST⌀ | STΣ | Thm | CoS | Maybe | Empty | Err | Found |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| * | * | 0 | * | 128 | epar | 30.791 | 0.000 | 24 | 0.362 | 200.42 | 553 | 0 | 1243 | 0 | 1796 | |
| * | * | 0 | * | 512 | epar | 29.009 | 0.000 | 40 | 0.372 | 193.75 | 521 | 0 | 1275 | 0 | 1796 | |
| * | * | 0 | * | 32 | z3_4 | 28.341 | 0.000 | 130 | 0.473 | 240.92 | 509 | 0 | 0 | 1287 | 1796 | |
| * | * | 0 | * | 92 | vam | 19.321 | 0.000 | 1 | 0.282 | 97.92 | 347 | 0 | 1449 | 0 | 1796 | |
| any | 40.813 | 0.000 | 733 | 0 | 1796 |
| Prover | Sum% | Sum | G+2 | G1+2 | G-1+2 | G+2M | Alt |
| *-*-0-*-128-epar | 30.791 | 553 | |||||
| *-*-0-*-32-z3_4 | 38.530 | 692 | |||||
| *-*-0-*-512-epar | 40.757 | 732 | |||||
| *-*-0-*-92-vam | 40.813 | 733 |