| 1738 | Counter 3.0 x64 1CPU -2584 | 1199 | +359 | -447 | =393 | 46.3 % | perf. |
|---|---|---|---|---|---|---|---|
| 1463 | Marvin 3.2.0 x64 1CPU - 2683 | 200 | + 41 | = 63 | - 96 | 36.3 % | 2586 |
| 1522 | Godel 4.4.5 x64 - 2663 | 100 | + 23 | = 35 | - 42 | 40.5 % | 2597 |
| 1581 | RofChade 1.0 x64 1CPU - 2640 | 200 | + 64 | = 61 | - 75 | 47.3 % | 2622 |
| 1618 | Marvin 3.1.0 x64 1CPU - 2630 | 100 | + 31 | = 32 | - 37 | 47.0 % | 2609 |
| 1645 | Cheese 2.0 x64 1CPU - 2620 | 100 | + 26 | = 46 | - 28 | 49.0 % | 2613 |
| 1710 | Pawny 1.2 x64 - 2596 | 100 | + 28 | = 32 | - 40 | 44.0 % | 2555 |
| 1787 | GreKo 2018.08 x64 - 2554 | 100 | + 35 | = 34 | - 31 | 52.0 % | 2568 |
| 1791 | Devel 2.0000 w32 - 2553 | 100 | + 36 | = 23 | - 41 | 47.5 % | 2536 |
| 1829 | Pro Deo 2.8 - 2533 | 99 | + 38 | = 33 | - 28 | 55.1 % | 2568 |
| 1832 | Shield 2.1 x64 1CPU - 2531 | 100 | + 37 | = 34 | - 29 | 54.0 % | 2558 |
