| 1832 | Pro Deo 2.8 -2533 | 2000 | +599 | -735 | =666 | 46.6 % | perf. |
|---|---|---|---|---|---|---|---|
| 1466 | Marvin 3.2.0 x64 1CPU - 2683 | 100 | + 8 | = 42 | - 50 | 29.0 % | 2527 |
| 1525 | Godel 4.4.5 x64 - 2663 | 100 | + 16 | = 23 | - 61 | 27.5 % | 2494 |
| 1584 | RofChade 1.0 x64 1CPU - 2640 | 100 | + 19 | = 27 | - 54 | 32.5 % | 2513 |
| 1728 | Francesca MAD 0.23 - 2589 | 101 | + 29 | = 36 | - 36 | 46.5 % | 2565 |
| 1729 | Arminius 2018-12-23 x64 1CPU - 2589 | 100 | + 24 | = 27 | - 49 | 37.5 % | 2501 |
| 1741 | Counter 3.0 x64 1CPU - 2584 | 99 | + 28 | = 33 | - 38 | 44.9 % | 2549 |
| 1772 | GreKo 20181231 x64 - 2560 | 100 | + 32 | = 31 | - 37 | 47.5 % | 2543 |
| 1781 | DiscoCheck 4.0.3 x64 - 2557 | 100 | + 36 | = 31 | - 33 | 51.5 % | 2567 |
| 1790 | GreKo 2018.08 x64 - 2554 | 100 | + 26 | = 35 | - 39 | 43.5 % | 2509 |
| 1794 | Devel 2.0000 w32 - 2553 | 100 | + 41 | = 29 | - 30 | 55.5 % | 2591 |
| 1801 | Francesca MAD 0.22 - 2551 | 100 | + 38 | = 38 | - 24 | 57.0 % | 2599 |
| 1807 | GreKo 2018.07 x64 - 2548 | 100 | + 32 | = 31 | - 37 | 47.5 % | 2531 |
| 1821 | Gogobello 1.4 x64 1CPU - 2539 | 100 | + 32 | = 38 | - 30 | 51.0 % | 2546 |
| 1835 | Shield 2.1 x64 1CPU - 2531 | 100 | + 34 | = 25 | - 41 | 46.5 % | 2507 |
| 1860 | Counter 2.9 x64 1CPU - 2516 | 100 | + 34 | = 31 | - 35 | 49.5 % | 2513 |
| 1865 | Francesca MAD 0.21 - 2515 | 100 | + 26 | = 39 | - 35 | 45.5 % | 2484 |
| 1882 | Djinn 1.021 x64 - 2506 | 100 | + 37 | = 37 | - 26 | 55.5 % | 2544 |
| 1894 | Daydreamer 1.75 x64 - 2499 | 100 | + 31 | = 46 | - 23 | 54.0 % | 2526 |
| 1903 | Fridolin 3.00 x64 1CPU - 2496 | 100 | + 33 | = 40 | - 27 | 53.0 % | 2516 |
| 1921 | Redqueen 1.1.97 x64 1CPU - 2484 | 100 | + 43 | = 27 | - 30 | 56.5 % | 2529 |
