1617 | GreKo 2018.08 x64 -2556 | 1700 | +437 | -680 | =583 | 42.9 % | perf. |
---|---|---|---|---|---|---|---|
1176 | The Baron 3.44 x64 1CPU - 2729 | 100 | + 10 | = 32 | - 58 | 26.0 % | 2546 |
1293 | Marvin 3.2.0 x64 1CPU - 2685 | 100 | + 12 | = 30 | - 58 | 27.0 % | 2511 |
1347 | Marvin TCEC s15 x64 1CPU - 2666 | 100 | + 14 | = 37 | - 49 | 32.5 % | 2539 |
1351 | Godel 4.4.5 x64 - 2664 | 100 | + 18 | = 31 | - 51 | 33.5 % | 2545 |
1411 | RofChade 1.0 x64 1CPU - 2642 | 100 | + 21 | = 32 | - 47 | 37.0 % | 2550 |
1435 | RuyDos 1.1.6 x64 - 2634 | 100 | + 28 | = 39 | - 33 | 47.5 % | 2617 |
1448 | Marvin 3.1.0 x64 1CPU - 2631 | 100 | + 28 | = 34 | - 38 | 45.0 % | 2597 |
1473 | Cheese 2.0 x64 1CPU - 2622 | 100 | + 22 | = 35 | - 43 | 39.5 % | 2549 |
1503 | Counter 3.1 x64 1CPU - 2614 | 100 | + 21 | = 32 | - 47 | 37.0 % | 2522 |
1540 | Pawny 1.2 x64 - 2598 | 100 | + 25 | = 33 | - 42 | 41.5 % | 2539 |
1556 | Bison 9.11 x64 - 2590 | 100 | + 23 | = 36 | - 41 | 41.0 % | 2528 |
1568 | Counter 3.0 x64 1CPU - 2586 | 100 | + 31 | = 34 | - 35 | 48.0 % | 2572 |
1621 | Devel 2.0000 w32 - 2555 | 100 | + 44 | = 35 | - 21 | 61.5 % | 2636 |
1648 | Gogobello 1.4 x64 1CPU - 2541 | 100 | + 32 | = 41 | - 27 | 52.5 % | 2558 |
1659 | Pro Deo 2.8 - 2534 | 100 | + 39 | = 35 | - 26 | 56.5 % | 2579 |
1662 | Shield 2.1 x64 1CPU - 2533 | 100 | + 32 | = 36 | - 32 | 50.0 % | 2533 |
1687 | Counter 2.9 x64 1CPU - 2518 | 100 | + 37 | = 31 | - 32 | 52.5 % | 2535 |