header image

1042GreKo 2018.08 x64 -25601700+437-680=58342.9 %perf.
613The Baron 3.44 x64 1CPU - 2738100+ 10= 32- 5826.0 %2555
735Marvin 3.2.0 x64 1CPU - 2689100+ 12= 30- 5827.0 %2515
783Marvin TCEC s15 x64 1CPU - 2670100+ 14= 37- 4932.5 %2543
787Godel 4.4.5 x64 - 2667100+ 18= 31- 5133.5 %2548
846RofChade 1.0 x64 1CPU - 2645100+ 21= 32- 4737.0 %2553
870RuyDos 1.1.6 x64 - 2636100+ 28= 39- 3347.5 %2619
883Marvin 3.1.0 x64 1CPU - 2634100+ 28= 34- 3845.0 %2600
908Cheese 2.0 x64 1CPU - 2624100+ 22= 35- 4339.5 %2551
932Counter 3.1 x64 1CPU - 2617100+ 21= 32- 4737.0 %2525
968Pawny 1.2 x64 - 2601100+ 25= 33- 4241.5 %2542
988Bison 9.11 x64 - 2591100+ 23= 36- 4141.0 %2529
994Counter 3.0 x64 1CPU - 2590100+ 31= 34- 3548.0 %2576
1037Devel 2.0000 w32 - 2561100+ 44= 35- 2161.5 %2642
1069Gogobello 1.4 x64 1CPU - 2545100+ 32= 41- 2752.5 %2562
1072Shield 2.1 x64 1CPU - 2544100+ 32= 36- 3250.0 %2544
1085Pro Deo 2.8 - 2536100+ 39= 35- 2656.5 %2581
1110Counter 2.9 x64 1CPU - 2522100+ 37= 31- 3252.5 %2539

back