header image

1626GreKo 2018.08 x64 -25561700+437-680=58342.9 %perf.
1185The Baron 3.44 x64 1CPU - 2729100+ 10= 32- 5826.0 %2546
1302Marvin 3.2.0 x64 1CPU - 2685100+ 12= 30- 5827.0 %2511
1356Marvin TCEC s15 x64 1CPU - 2666100+ 14= 37- 4932.5 %2539
1360Godel 4.4.5 x64 - 2664100+ 18= 31- 5133.5 %2545
1420RofChade 1.0 x64 1CPU - 2642100+ 21= 32- 4737.0 %2550
1444RuyDos 1.1.6 x64 - 2634100+ 28= 39- 3347.5 %2617
1457Marvin 3.1.0 x64 1CPU - 2631100+ 28= 34- 3845.0 %2597
1482Cheese 2.0 x64 1CPU - 2622100+ 22= 35- 4339.5 %2549
1512Counter 3.1 x64 1CPU - 2614100+ 21= 32- 4737.0 %2522
1549Pawny 1.2 x64 - 2598100+ 25= 33- 4241.5 %2539
1565Bison 9.11 x64 - 2590100+ 23= 36- 4141.0 %2528
1577Counter 3.0 x64 1CPU - 2586100+ 31= 34- 3548.0 %2572
1630Devel 2.0000 w32 - 2555100+ 44= 35- 2161.5 %2636
1657Gogobello 1.4 x64 1CPU - 2541100+ 32= 41- 2752.5 %2558
1668Pro Deo 2.8 - 2534100+ 39= 35- 2656.5 %2579
1671Shield 2.1 x64 1CPU - 2533100+ 32= 36- 3250.0 %2533
1696Counter 2.9 x64 1CPU - 2518100+ 37= 31- 3252.5 %2535

back