1682 | GreKo 2018.07 x64 -2550 | 1399 | +474 | -476 | =449 | 49.9 % | perf. |
---|---|---|---|---|---|---|---|
1399 | Godel 4.4.5 x64 - 2664 | 100 | + 20 | = 32 | - 48 | 36.0 % | 2565 |
1506 | Godel 4.0.7 x64 - 2628 | 100 | + 22 | = 33 | - 45 | 38.5 % | 2547 |
1579 | Twisted Logic 20100131 x64 - 2601 | 100 | + 27 | = 32 | - 41 | 43.0 % | 2553 |
1604 | Bison 9.11 x64 - 2590 | 100 | + 25 | = 31 | - 44 | 40.5 % | 2524 |
1666 | Cipollino 3.25 x64 1CPU - 2555 | 100 | + 32 | = 36 | - 32 | 50.0 % | 2555 |
1669 | Devel 2.0000 w32 - 2555 | 100 | + 37 | = 29 | - 34 | 51.5 % | 2565 |
1696 | Gogobello 1.4 x64 1CPU - 2541 | 100 | + 32 | = 39 | - 29 | 51.5 % | 2551 |
1706 | Pro Deo 2.2 - 2536 | 100 | + 33 | = 31 | - 36 | 48.5 % | 2526 |
1707 | Pro Deo 2.8 - 2534 | 100 | + 37 | = 31 | - 32 | 52.5 % | 2551 |
1710 | Shield 2.1 x64 1CPU - 2533 | 99 | + 34 | = 37 | - 28 | 53.0 % | 2553 |
1735 | Counter 2.9 x64 1CPU - 2518 | 100 | + 47 | = 25 | - 28 | 59.5 % | 2584 |
1757 | Djinn 1.021 x64 - 2508 | 100 | + 40 | = 31 | - 29 | 55.5 % | 2546 |
1774 | Counter 2.8 x64 1CPU - 2498 | 100 | + 40 | = 31 | - 29 | 55.5 % | 2536 |
1895 | DanaSah 7.30 - 2448 | 100 | + 48 | = 31 | - 21 | 63.5 % | 2543 |