| 1877 | Pro Deo 2.8 -2533 | 2000 | +599 | -735 | =666 | 46.6 % | perf. |
|---|---|---|---|---|---|---|---|
| 1511 | Marvin 3.2.0 x64 1CPU - 2684 | 100 | + 8 | = 42 | - 50 | 29.0 % | 2528 |
| 1570 | Godel 4.4.5 x64 - 2663 | 100 | + 16 | = 23 | - 61 | 27.5 % | 2494 |
| 1629 | RofChade 1.0 x64 1CPU - 2640 | 100 | + 19 | = 27 | - 54 | 32.5 % | 2513 |
| 1772 | Francesca MAD 0.23 - 2590 | 101 | + 29 | = 36 | - 36 | 46.5 % | 2566 |
| 1773 | Arminius 2018-12-23 x64 1CPU - 2590 | 100 | + 24 | = 27 | - 49 | 37.5 % | 2502 |
| 1786 | Counter 3.0 x64 1CPU - 2584 | 99 | + 28 | = 33 | - 38 | 44.9 % | 2549 |
| 1817 | GreKo 20181231 x64 - 2560 | 100 | + 32 | = 31 | - 37 | 47.5 % | 2543 |
| 1826 | DiscoCheck 4.0.3 x64 - 2557 | 100 | + 36 | = 31 | - 33 | 51.5 % | 2567 |
| 1835 | GreKo 2018.08 x64 - 2554 | 100 | + 26 | = 35 | - 39 | 43.5 % | 2509 |
| 1839 | Devel 2.0000 w32 - 2553 | 100 | + 41 | = 29 | - 30 | 55.5 % | 2591 |
| 1846 | Francesca MAD 0.22 - 2552 | 100 | + 38 | = 38 | - 24 | 57.0 % | 2600 |
| 1852 | GreKo 2018.07 x64 - 2549 | 100 | + 32 | = 31 | - 37 | 47.5 % | 2532 |
| 1866 | Gogobello 1.4 x64 1CPU - 2540 | 100 | + 32 | = 38 | - 30 | 51.0 % | 2547 |
| 1880 | Shield 2.1 x64 1CPU - 2532 | 100 | + 34 | = 25 | - 41 | 46.5 % | 2508 |
| 1905 | Counter 2.9 x64 1CPU - 2517 | 100 | + 34 | = 31 | - 35 | 49.5 % | 2514 |
| 1910 | Francesca MAD 0.21 - 2515 | 100 | + 26 | = 39 | - 35 | 45.5 % | 2484 |
| 1927 | Djinn 1.021 x64 - 2507 | 100 | + 37 | = 37 | - 26 | 55.5 % | 2545 |
| 1939 | Daydreamer 1.75 x64 - 2499 | 100 | + 31 | = 46 | - 23 | 54.0 % | 2526 |
| 1947 | Fridolin 3.00 x64 1CPU - 2496 | 100 | + 33 | = 40 | - 27 | 53.0 % | 2516 |
| 1966 | Redqueen 1.1.97 x64 1CPU - 2485 | 100 | + 43 | = 27 | - 30 | 56.5 % | 2530 |
