| 1788 | GreKo 2018.05 x64 -2471 | 1116 | +305 | -450 | =361 | 43.5 % | perf. |
|---|---|---|---|---|---|---|---|
| 1562 | Bison 9.11 x64 - 2590 | 104 | + 27 | = 33 | - 44 | 41.8 % | 2533 |
| 1622 | Marvin 3.0.0 x64 1CPU - 2556 | 100 | + 14 | = 39 | - 47 | 33.5 % | 2437 |
| 1627 | Devel 2.0000 w32 - 2555 | 100 | + 18 | = 27 | - 55 | 31.5 % | 2420 |
| 1654 | Gogobello 1.4 x64 1CPU - 2541 | 100 | + 22 | = 32 | - 46 | 38.0 % | 2457 |
| 1664 | Pro Deo 2.2 - 2536 | 100 | + 28 | = 30 | - 42 | 43.0 % | 2488 |
| 1715 | Djinn 1.021 x64 - 2508 | 100 | + 28 | = 41 | - 31 | 48.5 % | 2498 |
| 1732 | Counter 2.8 x64 1CPU - 2499 | 100 | + 26 | = 31 | - 43 | 41.5 % | 2440 |
| 1736 | Arminius 2017-01-01 x64 1CPU - 2497 | 104 | + 39 | = 25 | - 40 | 49.5 % | 2494 |
| 1737 | Delfi 5.4 1CPU - 2497 | 104 | + 27 | = 37 | - 40 | 43.8 % | 2454 |
| 1790 | Cyrano 0.6b17 - 2470 | 104 | + 36 | = 39 | - 29 | 53.4 % | 2493 |
| 1853 | DanaSah 7.30 - 2448 | 100 | + 40 | = 27 | - 33 | 53.5 % | 2472 |
