1743 | GreKo 2018.08 x64 -2555 | 1700 | +437 | -680 | =583 | 42.9 % | perf. |
---|---|---|---|---|---|---|---|
1303 | The Baron 3.44 x64 1CPU - 2728 | 100 | + 10 | = 32 | - 58 | 26.0 % | 2545 |
1420 | Marvin 3.2.0 x64 1CPU - 2684 | 100 | + 12 | = 30 | - 58 | 27.0 % | 2510 |
1473 | Marvin TCEC s15 x64 1CPU - 2665 | 100 | + 14 | = 37 | - 49 | 32.5 % | 2538 |
1478 | Godel 4.4.5 x64 - 2664 | 100 | + 18 | = 31 | - 51 | 33.5 % | 2545 |
1537 | RofChade 1.0 x64 1CPU - 2641 | 100 | + 21 | = 32 | - 47 | 37.0 % | 2549 |
1561 | RuyDos 1.1.6 x64 - 2634 | 100 | + 28 | = 39 | - 33 | 47.5 % | 2617 |
1574 | Marvin 3.1.0 x64 1CPU - 2631 | 100 | + 28 | = 34 | - 38 | 45.0 % | 2597 |
1601 | Cheese 2.0 x64 1CPU - 2621 | 100 | + 22 | = 35 | - 43 | 39.5 % | 2548 |
1629 | Counter 3.1 x64 1CPU - 2613 | 100 | + 21 | = 32 | - 47 | 37.0 % | 2521 |
1666 | Pawny 1.2 x64 - 2597 | 100 | + 25 | = 33 | - 42 | 41.5 % | 2538 |
1682 | Bison 9.11 x64 - 2589 | 100 | + 23 | = 36 | - 41 | 41.0 % | 2527 |
1694 | Counter 3.0 x64 1CPU - 2585 | 100 | + 31 | = 34 | - 35 | 48.0 % | 2571 |
1747 | Devel 2.0000 w32 - 2554 | 100 | + 44 | = 35 | - 21 | 61.5 % | 2635 |
1774 | Gogobello 1.4 x64 1CPU - 2540 | 100 | + 32 | = 41 | - 27 | 52.5 % | 2557 |
1785 | Pro Deo 2.8 - 2533 | 100 | + 39 | = 35 | - 26 | 56.5 % | 2578 |
1788 | Shield 2.1 x64 1CPU - 2532 | 100 | + 32 | = 36 | - 32 | 50.0 % | 2532 |
1813 | Counter 2.9 x64 1CPU - 2517 | 100 | + 37 | = 31 | - 32 | 52.5 % | 2534 |