| 977 | GreKo 2018.08 x64 -2565 | 1300 | +370 | -483 | =447 | 45.7 % | perf. |
|---|---|---|---|---|---|---|---|
| 698 | Marvin 3.2.0 x64 1CPU - 2688 | 100 | + 12 | = 30 | - 58 | 27.0 % | 2514 |
| 747 | Godel 4.4.5 x64 - 2667 | 100 | + 18 | = 31 | - 51 | 33.5 % | 2548 |
| 804 | RofChade 1.0 x64 1CPU - 2644 | 100 | + 21 | = 32 | - 47 | 37.0 % | 2552 |
| 827 | RuyDos 1.1.6 x64 - 2637 | 100 | + 28 | = 39 | - 33 | 47.5 % | 2620 |
| 839 | Marvin 3.1.0 x64 1CPU - 2634 | 100 | + 28 | = 34 | - 38 | 45.0 % | 2600 |
| 918 | Pawny 1.2 x64 - 2603 | 100 | + 25 | = 33 | - 42 | 41.5 % | 2544 |
| 944 | Bison 9.11 x64 - 2590 | 100 | + 23 | = 36 | - 41 | 41.0 % | 2528 |
| 952 | Counter 3.0 x64 1CPU - 2587 | 100 | + 31 | = 34 | - 35 | 48.0 % | 2573 |
| 990 | Devel 2.0000 w32 - 2560 | 100 | + 44 | = 35 | - 21 | 61.5 % | 2641 |
| 1020 | Gogobello 1.4 x64 1CPU - 2544 | 100 | + 32 | = 41 | - 27 | 52.5 % | 2561 |
| 1023 | Shield 2.1 x64 1CPU - 2544 | 100 | + 32 | = 36 | - 32 | 50.0 % | 2544 |
| 1034 | Pro Deo 2.8 - 2538 | 100 | + 39 | = 35 | - 26 | 56.5 % | 2583 |
| 1061 | Counter 2.9 x64 1CPU - 2522 | 100 | + 37 | = 31 | - 32 | 52.5 % | 2539 |
