| 1423 | RofChade 1.0 x64 1CPU -2642 | 1401 | +423 | -476 | =502 | 48.1 % | perf. |
|---|---|---|---|---|---|---|---|
| 917 | Rodent III 0.275 x64 1CPU - 2861 | 201 | + 15 | = 70 | -116 | 24.9 % | 2668 |
| 1031 | Dirty Cucumber x64 - 2797 | 100 | + 12 | = 35 | - 53 | 29.5 % | 2645 |
| 1209 | Tucano 7.06 x64 1CPU - 2718 | 100 | + 25 | = 31 | - 44 | 40.5 % | 2652 |
| 1305 | Marvin 3.2.0 x64 1CPU - 2685 | 100 | + 23 | = 50 | - 27 | 48.0 % | 2671 |
| 1363 | Godel 4.4.5 x64 - 2664 | 100 | + 31 | = 39 | - 30 | 50.5 % | 2667 |
| 1460 | Marvin 3.1.0 x64 1CPU - 2631 | 100 | + 27 | = 43 | - 30 | 48.5 % | 2621 |
| 1552 | Pawny 1.2 x64 - 2598 | 100 | + 36 | = 43 | - 21 | 57.5 % | 2650 |
| 1568 | Bison 9.11 x64 - 2590 | 100 | + 40 | = 30 | - 30 | 55.0 % | 2624 |
| 1580 | Counter 3.0 x64 1CPU - 2586 | 200 | + 75 | = 61 | - 64 | 52.8 % | 2605 |
| 1629 | GreKo 2018.08 x64 - 2556 | 100 | + 47 | = 32 | - 21 | 63.0 % | 2648 |
| 1630 | Cipollino 3.25 x64 1CPU - 2555 | 100 | + 38 | = 41 | - 21 | 58.5 % | 2614 |
| 1671 | Pro Deo 2.8 - 2534 | 100 | + 54 | = 27 | - 19 | 67.5 % | 2661 |
