| Str | Args | Deps | Syms | Prems | Prover | Thm% | CoS% | Uniq | ST⌀ | STΣ | Thm | CoS | Maybe | Empty | Err | Found |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| maxcut | default | 0 | 10 | 512 | epar | 23.330 | 0.000 | 10 | 0.230 | 96.48 | 419 | 0 | 1377 | 0 | 1796 | |
| maxcut | default | 0 | 10 | 128 | epar | 22.550 | 0.000 | 8 | 0.230 | 93.10 | 405 | 0 | 1391 | 0 | 1796 | |
| maxcut | default | 0 | 5 | 512 | epar | 22.550 | 0.000 | 3 | 0.214 | 86.48 | 405 | 0 | 1391 | 0 | 1796 | |
| maxcut | default | 0 | 5 | 128 | epar | 22.494 | 0.000 | 7 | 0.224 | 90.55 | 404 | 0 | 1392 | 0 | 1796 | |
| maxcut | default | 0 | 1 | 128 | epar | 22.272 | 0.000 | 10 | 0.224 | 89.72 | 400 | 0 | 1396 | 0 | 1796 | |
| maxcut | default | 0 | 1 | 512 | epar | 22.727 | 0.000 | 8 | 0.218 | 82.67 | 380 | 0 | 1292 | 0 | 1672 | |
| any | 30.011 | 0.000 | 539 | 0 | 1796 |
| Prover | Sum% | Sum | G+2 | G1+2 | G-1+2 | G+2M | Alt |
| maxcut-default-0-10-512-epar | 23.330 | 419 | |||||
| maxcut-default-0-5-128-epar | 27.784 | 499 | |||||
| maxcut-default-0-1-512-epar | 28.619 | 514 | |||||
| maxcut-default-0-1-128-epar | 29.343 | 527 | |||||
| maxcut-default-0-10-128-epar | 29.844 | 536 | |||||
| maxcut-default-0-5-512-epar | 30.011 | 539 |