| 1459 | RofChade 1.0 x64 1CPU -2642 | 1401 | +423 | -476 | =502 | 48.1 % | perf. |
|---|---|---|---|---|---|---|---|
| 952 | Rodent III 0.275 x64 1CPU - 2862 | 201 | + 15 | = 70 | -116 | 24.9 % | 2669 |
| 1067 | Dirty Cucumber x64 - 2797 | 100 | + 12 | = 35 | - 53 | 29.5 % | 2645 |
| 1245 | Tucano 7.06 x64 1CPU - 2718 | 100 | + 25 | = 31 | - 44 | 40.5 % | 2652 |
| 1341 | Marvin 3.2.0 x64 1CPU - 2685 | 100 | + 23 | = 50 | - 27 | 48.0 % | 2671 |
| 1399 | Godel 4.4.5 x64 - 2664 | 100 | + 31 | = 39 | - 30 | 50.5 % | 2667 |
| 1496 | Marvin 3.1.0 x64 1CPU - 2631 | 100 | + 27 | = 43 | - 30 | 48.5 % | 2621 |
| 1588 | Pawny 1.2 x64 - 2597 | 100 | + 36 | = 43 | - 21 | 57.5 % | 2649 |
| 1604 | Bison 9.11 x64 - 2590 | 100 | + 40 | = 30 | - 30 | 55.0 % | 2624 |
| 1616 | Counter 3.0 x64 1CPU - 2586 | 200 | + 75 | = 61 | - 64 | 52.8 % | 2605 |
| 1665 | GreKo 2018.08 x64 - 2556 | 100 | + 47 | = 32 | - 21 | 63.0 % | 2648 |
| 1666 | Cipollino 3.25 x64 1CPU - 2555 | 100 | + 38 | = 41 | - 21 | 58.5 % | 2614 |
| 1707 | Pro Deo 2.8 - 2534 | 100 | + 54 | = 27 | - 19 | 67.5 % | 2661 |
