| 1806 | GreKo 2020.03 x64 -2571 | 1200 | +241 | -592 | =367 | 35.4 % | perf. |
|---|---|---|---|---|---|---|---|
| 1095 | Topple 0.7.5 x64 1CPU - 2872 | 100 | + 4 | = 24 | - 72 | 16.0 % | 2587 |
| 1222 | Counter 3.5 x64 1CPU - 2800 | 100 | + 4 | = 26 | - 70 | 17.0 % | 2526 |
| 1230 | Francesca MAD 0.29 - 2797 | 100 | + 7 | = 27 | - 66 | 20.5 % | 2561 |
| 1237 | Gogobello 2.2 x64 1CPU - 2793 | 100 | + 8 | = 22 | - 70 | 19.0 % | 2541 |
| 1240 | Asymptote 0.8 x64 1CPU - 2792 | 100 | + 7 | = 22 | - 71 | 18.0 % | 2529 |
| 1499 | Cheese 2.2 x64 1CPU - 2688 | 100 | + 23 | = 30 | - 47 | 38.0 % | 2604 |
| 1671 | RuyDos 1.1.11 x64 1CPU - 2628 | 100 | + 33 | = 32 | - 35 | 49.0 % | 2621 |
| 1687 | Pro Deo 3.1 - 2623 | 100 | + 20 | = 39 | - 41 | 39.5 % | 2550 |
| 1752 | Devel 3.8.4 w32 - 2599 | 100 | + 30 | = 33 | - 37 | 46.5 % | 2575 |
| 1773 | Arminius 2018-12-23 x64 1CPU - 2590 | 100 | + 33 | = 34 | - 33 | 50.0 % | 2590 |
| 1851 | Devel 3.0.0a w32 - 2550 | 100 | + 36 | = 37 | - 27 | 54.5 % | 2581 |
| 1880 | Shield 2.1 x64 1CPU - 2532 | 100 | + 36 | = 41 | - 23 | 56.5 % | 2577 |
