| 976 | GreKo 2018.08 x64 -2566 | 1300 | +370 | -483 | =447 | 45.7 % | perf. |
|---|---|---|---|---|---|---|---|
| 683 | Marvin 3.2.0 x64 1CPU - 2695 | 100 | + 12 | = 30 | - 58 | 27.0 % | 2521 |
| 749 | Godel 4.4.5 x64 - 2668 | 100 | + 18 | = 31 | - 51 | 33.5 % | 2549 |
| 805 | RofChade 1.0 x64 1CPU - 2646 | 100 | + 21 | = 32 | - 47 | 37.0 % | 2554 |
| 828 | RuyDos 1.1.6 x64 - 2637 | 100 | + 28 | = 39 | - 33 | 47.5 % | 2620 |
| 840 | Marvin 3.1.0 x64 1CPU - 2634 | 100 | + 28 | = 34 | - 38 | 45.0 % | 2600 |
| 920 | Pawny 1.2 x64 - 2603 | 100 | + 25 | = 33 | - 42 | 41.5 % | 2544 |
| 946 | Bison 9.11 x64 - 2590 | 100 | + 23 | = 36 | - 41 | 41.0 % | 2528 |
| 950 | Counter 3.0 x64 1CPU - 2589 | 100 | + 31 | = 34 | - 35 | 48.0 % | 2575 |
| 991 | Devel 2.0000 w32 - 2560 | 100 | + 44 | = 35 | - 21 | 61.5 % | 2641 |
| 1022 | Gogobello 1.4 x64 1CPU - 2545 | 100 | + 32 | = 41 | - 27 | 52.5 % | 2562 |
| 1025 | Shield 2.1 x64 1CPU - 2544 | 100 | + 32 | = 36 | - 32 | 50.0 % | 2544 |
| 1035 | Pro Deo 2.8 - 2539 | 100 | + 39 | = 35 | - 26 | 56.5 % | 2584 |
| 1063 | Counter 2.9 x64 1CPU - 2522 | 100 | + 37 | = 31 | - 32 | 52.5 % | 2539 |
