| 1855 | GreKo 2020.03 x64 -2570 | 1200 | +241 | -592 | =367 | 35.4 % | perf. |
|---|---|---|---|---|---|---|---|
| 1142 | Topple 0.7.5 x64 1CPU - 2871 | 100 | + 4 | = 24 | - 72 | 16.0 % | 2586 |
| 1271 | Counter 3.5 x64 1CPU - 2799 | 100 | + 4 | = 26 | - 70 | 17.0 % | 2525 |
| 1279 | Francesca MAD 0.29 - 2796 | 100 | + 7 | = 27 | - 66 | 20.5 % | 2560 |
| 1283 | Gogobello 2.2 x64 1CPU - 2792 | 100 | + 8 | = 22 | - 70 | 19.0 % | 2540 |
| 1287 | Asymptote 0.8 x64 1CPU - 2791 | 100 | + 7 | = 22 | - 71 | 18.0 % | 2528 |
| 1548 | Cheese 2.2 x64 1CPU - 2687 | 100 | + 23 | = 30 | - 47 | 38.0 % | 2603 |
| 1720 | RuyDos 1.1.11 x64 1CPU - 2628 | 100 | + 33 | = 32 | - 35 | 49.0 % | 2621 |
| 1732 | Pro Deo 3.1 - 2624 | 100 | + 20 | = 39 | - 41 | 39.5 % | 2551 |
| 1799 | Devel 3.8.4 w32 - 2599 | 100 | + 30 | = 33 | - 37 | 46.5 % | 2575 |
| 1821 | Arminius 2018-12-23 x64 1CPU - 2589 | 100 | + 33 | = 34 | - 33 | 50.0 % | 2589 |
| 1900 | Devel 3.0.0a w32 - 2549 | 100 | + 36 | = 37 | - 27 | 54.5 % | 2580 |
| 1929 | Shield 2.1 x64 1CPU - 2531 | 100 | + 36 | = 41 | - 23 | 56.5 % | 2576 |
