| 1059 | Devel 2.0000 w32 -2559 | 2918 | +915 | -1038 | =965 | 47.9 % | perf. |
|---|---|---|---|---|---|---|---|
| 770 | Topple 0.5.0 x64 1CPU - 2681 | 100 | + 19 | = 25 | - 56 | 31.5 % | 2546 |
| 885 | RuyDos 1.1.6 x64 - 2637 | 104 | + 24 | = 31 | - 49 | 38.0 % | 2553 |
| 897 | Marvin 3.1.0 x64 1CPU - 2634 | 105 | + 29 | = 34 | - 42 | 43.8 % | 2591 |
| 907 | Godel 4.0.7 x64 - 2631 | 105 | + 23 | = 43 | - 39 | 42.4 % | 2579 |
| 923 | Cheese 2.0 x64 1CPU - 2624 | 100 | + 25 | = 44 | - 31 | 47.0 % | 2603 |
| 944 | RuyDos 1.1.0 x64 - 2618 | 100 | + 24 | = 38 | - 38 | 43.0 % | 2570 |
| 949 | Counter 3.1 x64 1CPU - 2617 | 100 | + 27 | = 29 | - 44 | 41.5 % | 2558 |
| 972 | Twisted Logic 20100131 x64 - 2605 | 100 | + 27 | = 34 | - 39 | 44.0 % | 2564 |
| 983 | Pawny 1.2 x64 - 2601 | 100 | + 28 | = 31 | - 41 | 43.5 % | 2556 |
| 994 | Arminius 2018-12-23 x64 1CPU - 2596 | 100 | + 34 | = 33 | - 33 | 50.5 % | 2599 |
| 997 | Francesca MAD 0.23 - 2595 | 100 | + 28 | = 33 | - 39 | 44.5 % | 2557 |
| 1002 | Bison 9.11 x64 - 2592 | 100 | + 30 | = 33 | - 37 | 46.5 % | 2568 |
| 1009 | Counter 3.0 x64 1CPU - 2590 | 100 | + 41 | = 23 | - 36 | 52.5 % | 2607 |
| 1025 | Godel 3.4.9 x64 - 2577 | 100 | + 26 | = 36 | - 38 | 44.0 % | 2536 |
| 1035 | GreKo 20181231 x64 - 2568 | 100 | + 29 | = 34 | - 37 | 46.0 % | 2541 |
| 1051 | Cipollino 3.25 x64 1CPU - 2561 | 100 | + 28 | = 34 | - 38 | 45.0 % | 2527 |
| 1056 | GreKo 2018.08 x64 - 2560 | 100 | + 21 | = 35 | - 44 | 38.5 % | 2479 |
| 1060 | Marvin 3.0.0 x64 1CPU - 2559 | 100 | + 33 | = 32 | - 35 | 49.0 % | 2552 |
| 1062 | Francesca MAD 0.22 - 2558 | 100 | + 24 | = 47 | - 29 | 47.5 % | 2541 |
| 1067 | Igel 1.5.1 x64 1CPU - 2557 | 100 | + 24 | = 37 | - 39 | 42.5 % | 2505 |
| 1073 | GreKo 2018.07 x64 - 2554 | 100 | + 34 | = 29 | - 37 | 48.5 % | 2544 |
| 1087 | Gogobello 1.4 x64 1CPU - 2545 | 100 | + 33 | = 36 | - 31 | 51.0 % | 2552 |
| 1088 | Shield 2.1 x64 1CPU - 2544 | 100 | + 36 | = 33 | - 31 | 52.5 % | 2561 |
| 1096 | Pro Deo 2.2 - 2540 | 100 | + 33 | = 33 | - 34 | 49.5 % | 2537 |
| 1099 | Pro Deo 2.8 - 2539 | 100 | + 30 | = 29 | - 41 | 44.5 % | 2501 |
| 1126 | Counter 2.9 x64 1CPU - 2522 | 100 | + 44 | = 32 | - 24 | 60.0 % | 2592 |
| 1154 | GreKo 2018.02 x64 - 2508 | 100 | + 48 | = 32 | - 20 | 64.0 % | 2607 |
| 1164 | Counter 2.8 x64 1CPU - 2503 | 4 | + 2 | = 1 | - 1 | 62.5 % | 2591 |
| 1228 | GreKo 2018.05 x64 - 2473 | 100 | + 55 | = 27 | - 18 | 68.5 % | 2608 |
| 1287 | DanaSah 7.30 - 2452 | 100 | + 56 | = 27 | - 17 | 69.5 % | 2595 |
