| 1803 | GreKo 2020.03 x64 -2571 | 1200 | +241 | -592 | =367 | 35.4 % | perf. |
|---|---|---|---|---|---|---|---|
| 1092 | Topple 0.7.5 x64 1CPU - 2872 | 100 | + 4 | = 24 | - 72 | 16.0 % | 2587 |
| 1219 | Counter 3.5 x64 1CPU - 2800 | 100 | + 4 | = 26 | - 70 | 17.0 % | 2526 |
| 1227 | Francesca MAD 0.29 - 2797 | 100 | + 7 | = 27 | - 66 | 20.5 % | 2561 |
| 1234 | Gogobello 2.2 x64 1CPU - 2793 | 100 | + 8 | = 22 | - 70 | 19.0 % | 2541 |
| 1237 | Asymptote 0.8 x64 1CPU - 2791 | 100 | + 7 | = 22 | - 71 | 18.0 % | 2528 |
| 1496 | Cheese 2.2 x64 1CPU - 2688 | 100 | + 23 | = 30 | - 47 | 38.0 % | 2604 |
| 1668 | RuyDos 1.1.11 x64 1CPU - 2628 | 100 | + 33 | = 32 | - 35 | 49.0 % | 2621 |
| 1684 | Pro Deo 3.1 - 2623 | 100 | + 20 | = 39 | - 41 | 39.5 % | 2550 |
| 1749 | Devel 3.8.4 w32 - 2599 | 100 | + 30 | = 33 | - 37 | 46.5 % | 2575 |
| 1770 | Arminius 2018-12-23 x64 1CPU - 2589 | 100 | + 33 | = 34 | - 33 | 50.0 % | 2589 |
| 1848 | Devel 3.0.0a w32 - 2550 | 100 | + 36 | = 37 | - 27 | 54.5 % | 2581 |
| 1877 | Shield 2.1 x64 1CPU - 2532 | 100 | + 36 | = 41 | - 23 | 56.5 % | 2577 |
