| 1867 | Devel 2.0000 w32 -2553 | 2917 | +915 | -1038 | =964 | 47.9 % | perf. |
|---|---|---|---|---|---|---|---|
| 1565 | Topple 0.5.0 x64 1CPU - 2676 | 100 | + 19 | = 25 | - 56 | 31.5 % | 2541 |
| 1680 | RuyDos 1.1.6 x64 - 2633 | 104 | + 24 | = 31 | - 49 | 38.0 % | 2549 |
| 1693 | Marvin 3.1.0 x64 1CPU - 2630 | 105 | + 29 | = 34 | - 42 | 43.8 % | 2587 |
| 1704 | Godel 4.0.7 x64 - 2627 | 105 | + 23 | = 43 | - 39 | 42.4 % | 2575 |
| 1721 | Cheese 2.0 x64 1CPU - 2620 | 100 | + 25 | = 44 | - 31 | 47.0 % | 2599 |
| 1744 | RuyDos 1.1.0 x64 - 2613 | 100 | + 24 | = 38 | - 38 | 43.0 % | 2565 |
| 1749 | Counter 3.1 x64 1CPU - 2612 | 100 | + 27 | = 29 | - 44 | 41.5 % | 2553 |
| 1775 | Twisted Logic 20100131 x64 - 2600 | 100 | + 27 | = 34 | - 39 | 44.0 % | 2559 |
| 1785 | Pawny 1.2 x64 - 2596 | 100 | + 28 | = 31 | - 41 | 43.5 % | 2551 |
| 1799 | Francesca MAD 0.23 - 2589 | 100 | + 28 | = 33 | - 39 | 44.5 % | 2551 |
| 1800 | Arminius 2018-12-23 x64 1CPU - 2589 | 100 | + 34 | = 33 | - 33 | 50.5 % | 2592 |
| 1802 | Bison 9.11 x64 - 2589 | 100 | + 30 | = 33 | - 37 | 46.5 % | 2565 |
| 1814 | Counter 3.0 x64 1CPU - 2584 | 100 | + 41 | = 23 | - 36 | 52.5 % | 2601 |
| 1828 | Godel 3.4.9 x64 - 2572 | 100 | + 26 | = 36 | - 38 | 44.0 % | 2531 |
| 1845 | GreKo 20181231 x64 - 2560 | 100 | + 29 | = 34 | - 37 | 46.0 % | 2533 |
| 1862 | Marvin 3.0.0 x64 1CPU - 2554 | 100 | + 33 | = 32 | - 35 | 49.0 % | 2547 |
| 1863 | GreKo 2018.08 x64 - 2554 | 100 | + 21 | = 35 | - 44 | 38.5 % | 2473 |
| 1865 | Cipollino 3.25 x64 1CPU - 2554 | 100 | + 28 | = 34 | - 38 | 45.0 % | 2520 |
| 1874 | Francesca MAD 0.22 - 2551 | 100 | + 24 | = 47 | - 29 | 47.5 % | 2534 |
| 1875 | Igel 1.5.1 x64 1CPU - 2551 | 100 | + 24 | = 37 | - 39 | 42.5 % | 2499 |
| 1880 | GreKo 2018.07 x64 - 2549 | 100 | + 34 | = 29 | - 37 | 48.5 % | 2539 |
| 1893 | Gogobello 1.4 x64 1CPU - 2539 | 100 | + 33 | = 36 | - 31 | 51.0 % | 2546 |
| 1903 | Pro Deo 2.2 - 2534 | 100 | + 33 | = 33 | - 34 | 49.5 % | 2531 |
| 1905 | Pro Deo 2.8 - 2533 | 100 | + 30 | = 29 | - 41 | 44.5 % | 2495 |
| 1908 | Shield 2.1 x64 1CPU - 2531 | 100 | + 36 | = 33 | - 31 | 52.5 % | 2548 |
| 1933 | Counter 2.9 x64 1CPU - 2516 | 100 | + 44 | = 32 | - 24 | 60.0 % | 2586 |
| 1960 | GreKo 2018.02 x64 - 2503 | 99 | + 48 | = 31 | - 20 | 64.1 % | 2603 |
| 1970 | Counter 2.8 x64 1CPU - 2497 | 4 | + 2 | = 1 | - 1 | 62.5 % | 2585 |
| 2028 | GreKo 2018.05 x64 - 2469 | 100 | + 55 | = 27 | - 18 | 68.5 % | 2604 |
| 2093 | DanaSah 7.30 - 2446 | 100 | + 56 | = 27 | - 17 | 69.5 % | 2589 |
