| 1626 | RofChade 1.0 x64 1CPU -2640 | 1401 | +423 | -476 | =502 | 48.1 % | perf. |
|---|---|---|---|---|---|---|---|
| 1114 | Rodent III 0.275 x64 1CPU - 2860 | 201 | + 15 | = 70 | -116 | 24.9 % | 2667 |
| 1238 | Dirty Cucumber x64 - 2791 | 100 | + 12 | = 35 | - 53 | 29.5 % | 2639 |
| 1410 | Tucano 7.06 x64 1CPU - 2717 | 100 | + 25 | = 31 | - 44 | 40.5 % | 2651 |
| 1508 | Marvin 3.2.0 x64 1CPU - 2684 | 100 | + 23 | = 50 | - 27 | 48.0 % | 2670 |
| 1567 | Godel 4.4.5 x64 - 2663 | 100 | + 31 | = 39 | - 30 | 50.5 % | 2666 |
| 1663 | Marvin 3.1.0 x64 1CPU - 2630 | 100 | + 27 | = 43 | - 30 | 48.5 % | 2620 |
| 1754 | Pawny 1.2 x64 - 2596 | 100 | + 36 | = 43 | - 21 | 57.5 % | 2648 |
| 1771 | Bison 9.11 x64 - 2589 | 100 | + 40 | = 30 | - 30 | 55.0 % | 2623 |
| 1783 | Counter 3.0 x64 1CPU - 2584 | 200 | + 75 | = 61 | - 64 | 52.8 % | 2603 |
| 1832 | GreKo 2018.08 x64 - 2554 | 100 | + 47 | = 32 | - 21 | 63.0 % | 2646 |
| 1834 | Cipollino 3.25 x64 1CPU - 2554 | 100 | + 38 | = 41 | - 21 | 58.5 % | 2613 |
| 1874 | Pro Deo 2.8 - 2533 | 100 | + 54 | = 27 | - 19 | 67.5 % | 2660 |
