| 948 | Devel 2.0000 w32 -2553 | 1100 | +332 | -387 | =381 | 47.5 % | perf. |
|---|---|---|---|---|---|---|---|
| 832 | Godel 4.0.7 x64 - 2616 | 100 | + 22 | = 42 | - 36 | 43.0 % | 2568 |
| 837 | RuyDos 1.1.0 x64 - 2615 | 100 | + 24 | = 38 | - 38 | 43.0 % | 2567 |
| 862 | Twisted Logic 20100131 x64 - 2603 | 100 | + 27 | = 34 | - 39 | 44.0 % | 2562 |
| 869 | Pawny 1.2 x64 - 2600 | 100 | + 28 | = 31 | - 41 | 43.5 % | 2555 |
| 892 | Bison 9.11 x64 - 2588 | 100 | + 30 | = 33 | - 37 | 46.5 % | 2564 |
| 908 | Godel 3.4.9 x64 - 2575 | 100 | + 26 | = 36 | - 38 | 44.0 % | 2534 |
| 946 | Cipollino 3.25 x64 1CPU - 2555 | 100 | + 28 | = 34 | - 38 | 45.0 % | 2521 |
| 950 | Marvin 3.0.0 x64 1CPU - 2553 | 100 | + 33 | = 32 | - 35 | 49.0 % | 2546 |
| 974 | Pro Deo 2.2 - 2536 | 100 | + 33 | = 33 | - 34 | 49.5 % | 2533 |
| 975 | Gogobello 1.4 x64 1CPU - 2536 | 100 | + 33 | = 36 | - 31 | 51.0 % | 2543 |
| 1027 | GreKo 2018.02 x64 - 2507 | 100 | + 48 | = 32 | - 20 | 64.0 % | 2606 |
