| 948 | Devel 2.0000 w32 -2565 | 1518 | +499 | -517 | =502 | 49.4 % | perf. |
|---|---|---|---|---|---|---|---|
| 783 | RuyDos 1.1.6 x64 - 2641 | 104 | + 24 | = 31 | - 49 | 38.0 % | 2557 |
| 791 | Marvin 3.1.0 x64 1CPU - 2638 | 105 | + 29 | = 34 | - 42 | 43.8 % | 2595 |
| 819 | Godel 4.0.7 x64 - 2631 | 105 | + 23 | = 43 | - 39 | 42.4 % | 2579 |
| 855 | RuyDos 1.1.0 x64 - 2617 | 100 | + 24 | = 38 | - 38 | 43.0 % | 2569 |
| 886 | Twisted Logic 20100131 x64 - 2604 | 100 | + 27 | = 34 | - 39 | 44.0 % | 2563 |
| 889 | Pawny 1.2 x64 - 2602 | 100 | + 28 | = 31 | - 41 | 43.5 % | 2557 |
| 921 | Bison 9.11 x64 - 2587 | 100 | + 30 | = 33 | - 37 | 46.5 % | 2563 |
| 933 | Godel 3.4.9 x64 - 2576 | 100 | + 26 | = 36 | - 38 | 44.0 % | 2535 |
| 964 | Marvin 3.0.0 x64 1CPU - 2558 | 100 | + 33 | = 32 | - 35 | 49.0 % | 2551 |
| 970 | Cipollino 3.25 x64 1CPU - 2556 | 100 | + 28 | = 34 | - 38 | 45.0 % | 2522 |
| 996 | Gogobello 1.4 x64 1CPU - 2539 | 100 | + 33 | = 36 | - 31 | 51.0 % | 2546 |
| 999 | Pro Deo 2.2 - 2537 | 100 | + 33 | = 33 | - 34 | 49.5 % | 2534 |
| 1049 | GreKo 2018.02 x64 - 2508 | 100 | + 48 | = 32 | - 20 | 64.0 % | 2607 |
| 1059 | Counter 2.8 x64 1CPU - 2503 | 4 | + 2 | = 1 | - 1 | 62.5 % | 2591 |
| 1118 | GreKo 2018.05 x64 - 2473 | 100 | + 55 | = 27 | - 18 | 68.5 % | 2608 |
| 1156 | DanaSah 7.30 - 2460 | 100 | + 56 | = 27 | - 17 | 69.5 % | 2603 |
