1849 | GreKo 2018.07 x64 -2549 | 1399 | +474 | -476 | =449 | 49.9 % | perf. |
---|---|---|---|---|---|---|---|
1567 | Godel 4.4.5 x64 - 2663 | 100 | + 20 | = 32 | - 48 | 36.0 % | 2564 |
1673 | Godel 4.0.7 x64 - 2627 | 100 | + 22 | = 33 | - 45 | 38.5 % | 2546 |
1746 | Twisted Logic 20100131 x64 - 2600 | 100 | + 27 | = 32 | - 41 | 43.0 % | 2552 |
1771 | Bison 9.11 x64 - 2589 | 100 | + 25 | = 31 | - 44 | 40.5 % | 2523 |
1834 | Cipollino 3.25 x64 1CPU - 2554 | 100 | + 32 | = 36 | - 32 | 50.0 % | 2554 |
1836 | Devel 2.0000 w32 - 2553 | 100 | + 37 | = 29 | - 34 | 51.5 % | 2563 |
1863 | Gogobello 1.4 x64 1CPU - 2540 | 100 | + 32 | = 39 | - 29 | 51.5 % | 2550 |
1873 | Pro Deo 2.2 - 2535 | 100 | + 33 | = 31 | - 36 | 48.5 % | 2525 |
1874 | Pro Deo 2.8 - 2533 | 100 | + 37 | = 31 | - 32 | 52.5 % | 2550 |
1877 | Shield 2.1 x64 1CPU - 2532 | 99 | + 34 | = 37 | - 28 | 53.0 % | 2552 |
1902 | Counter 2.9 x64 1CPU - 2517 | 100 | + 47 | = 25 | - 28 | 59.5 % | 2583 |
1924 | Djinn 1.021 x64 - 2507 | 100 | + 40 | = 31 | - 29 | 55.5 % | 2545 |
1939 | Counter 2.8 x64 1CPU - 2498 | 100 | + 40 | = 31 | - 29 | 55.5 % | 2536 |
2062 | DanaSah 7.30 - 2447 | 100 | + 48 | = 31 | - 21 | 63.5 % | 2542 |