| 1600 | GreKo 2020.03 x64 -2572 | 1200 | +241 | -592 | =367 | 35.4 % | perf. |
|---|---|---|---|---|---|---|---|
| 897 | Topple 0.7.5 x64 1CPU - 2874 | 100 | + 4 | = 24 | - 72 | 16.0 % | 2589 |
| 1020 | Counter 3.5 x64 1CPU - 2801 | 100 | + 4 | = 26 | - 70 | 17.0 % | 2527 |
| 1030 | Francesca MAD 0.29 - 2798 | 100 | + 7 | = 27 | - 66 | 20.5 % | 2562 |
| 1033 | Gogobello 2.2 x64 1CPU - 2795 | 100 | + 8 | = 22 | - 70 | 19.0 % | 2543 |
| 1038 | Asymptote 0.8 x64 1CPU - 2792 | 100 | + 7 | = 22 | - 71 | 18.0 % | 2529 |
| 1295 | Cheese 2.2 x64 1CPU - 2689 | 100 | + 23 | = 30 | - 47 | 38.0 % | 2605 |
| 1465 | RuyDos 1.1.11 x64 1CPU - 2630 | 100 | + 33 | = 32 | - 35 | 49.0 % | 2623 |
| 1481 | Pro Deo 3.1 - 2624 | 100 | + 20 | = 39 | - 41 | 39.5 % | 2551 |
| 1547 | Devel 3.8.4 w32 - 2600 | 100 | + 30 | = 33 | - 37 | 46.5 % | 2576 |
| 1567 | Arminius 2018-12-23 x64 1CPU - 2591 | 100 | + 33 | = 34 | - 33 | 50.0 % | 2591 |
| 1645 | Devel 3.0.0a w32 - 2551 | 100 | + 36 | = 37 | - 27 | 54.5 % | 2582 |
| 1674 | Shield 2.1 x64 1CPU - 2533 | 100 | + 36 | = 41 | - 23 | 56.5 % | 2578 |
