header image

1743GreKo 2018.08 x64 -25551700+437-680=58342.9 %perf.
1303The Baron 3.44 x64 1CPU - 2728100+ 10= 32- 5826.0 %2545
1420Marvin 3.2.0 x64 1CPU - 2684100+ 12= 30- 5827.0 %2510
1473Marvin TCEC s15 x64 1CPU - 2665100+ 14= 37- 4932.5 %2538
1478Godel 4.4.5 x64 - 2664100+ 18= 31- 5133.5 %2545
1537RofChade 1.0 x64 1CPU - 2641100+ 21= 32- 4737.0 %2549
1561RuyDos 1.1.6 x64 - 2634100+ 28= 39- 3347.5 %2617
1574Marvin 3.1.0 x64 1CPU - 2631100+ 28= 34- 3845.0 %2597
1601Cheese 2.0 x64 1CPU - 2621100+ 22= 35- 4339.5 %2548
1629Counter 3.1 x64 1CPU - 2613100+ 21= 32- 4737.0 %2521
1666Pawny 1.2 x64 - 2597100+ 25= 33- 4241.5 %2538
1682Bison 9.11 x64 - 2589100+ 23= 36- 4141.0 %2527
1694Counter 3.0 x64 1CPU - 2585100+ 31= 34- 3548.0 %2571
1747Devel 2.0000 w32 - 2554100+ 44= 35- 2161.5 %2635
1774Gogobello 1.4 x64 1CPU - 2540100+ 32= 41- 2752.5 %2557
1785Pro Deo 2.8 - 2533100+ 39= 35- 2656.5 %2578
1788Shield 2.1 x64 1CPU - 2532100+ 32= 36- 3250.0 %2532
1813Counter 2.9 x64 1CPU - 2517100+ 37= 31- 3252.5 %2534

back