| 946 | Devel 2.0000 w32 -2560 | 1200 | +387 | -405 | =408 | 49.3 % | perf. |
|---|---|---|---|---|---|---|---|
| 823 | Godel 4.0.7 x64 - 2623 | 100 | + 22 | = 42 | - 36 | 43.0 % | 2575 |
| 847 | RuyDos 1.1.0 x64 - 2616 | 100 | + 24 | = 38 | - 38 | 43.0 % | 2568 |
| 873 | Twisted Logic 20100131 x64 - 2603 | 100 | + 27 | = 34 | - 39 | 44.0 % | 2562 |
| 882 | Pawny 1.2 x64 - 2600 | 100 | + 28 | = 31 | - 41 | 43.5 % | 2555 |
| 909 | Bison 9.11 x64 - 2588 | 100 | + 30 | = 33 | - 37 | 46.5 % | 2564 |
| 922 | Godel 3.4.9 x64 - 2575 | 100 | + 26 | = 36 | - 38 | 44.0 % | 2534 |
| 959 | Cipollino 3.25 x64 1CPU - 2555 | 100 | + 28 | = 34 | - 38 | 45.0 % | 2521 |
| 962 | Marvin 3.0.0 x64 1CPU - 2554 | 100 | + 33 | = 32 | - 35 | 49.0 % | 2547 |
| 979 | Gogobello 1.4 x64 1CPU - 2542 | 100 | + 33 | = 36 | - 31 | 51.0 % | 2549 |
| 988 | Pro Deo 2.2 - 2537 | 100 | + 33 | = 33 | - 34 | 49.5 % | 2534 |
| 1042 | GreKo 2018.02 x64 - 2508 | 100 | + 48 | = 32 | - 20 | 64.0 % | 2607 |
| 1089 | GreKo 2018.05 x64 - 2481 | 100 | + 55 | = 27 | - 18 | 68.5 % | 2616 |
