header image

880Marvin 3.1.0 x64 1CPU -26341621+561-505=55551.7 %perf.
647Tucano 7.06 x64 1CPU - 2719100+ 24= 36- 4042.0 %2664
747The Baron 3.43 x64 1CPU - 2683200+ 49= 79- 7244.3 %2644
784Godel 4.4.5 x64 - 2667100+ 24= 31- 4539.5 %2594
841Rhetoric 1.4.3 x64 - 2646100+ 29= 43- 2850.5 %2649
843RofChade 1.0 x64 1CPU - 2645100+ 30= 43- 2751.5 %2655
867RuyDos 1.1.6 x64 - 2636105+ 36= 39- 3052.9 %2656
890Godel 4.0.7 x64 - 2630105+ 32= 36- 3747.6 %2614
899Naraku 1.4 - 2627100+ 41= 19- 4050.5 %2630
959BugChess2 v.1.9 x64 1CPU - 2604100+ 41= 36- 2359.0 %2666
965Pawny 1.2 x64 - 2601100+ 36= 28- 3650.0 %2601
985Bison 9.11 x64 - 2591101+ 45= 33- 2360.9 %2667
991Counter 3.0 x64 1CPU - 2590100+ 37= 32- 3153.0 %2610
1035Devel 2.0000 w32 - 2561105+ 42= 34- 2956.2 %2604
1039GreKo 2018.08 x64 - 2560100+ 38= 34- 2855.0 %2594
1143Counter 2.8 x64 1CPU - 2503105+ 57= 32- 1669.5 %2646

back