header image

946Counter 3.0 x64 1CPU -25881100+333-419=34846.1 %perf.
692Marvin 3.2.0 x64 1CPU - 2688200+ 41= 63- 9636.3 %2591
741Godel 4.4.5 x64 - 2667100+ 23= 35- 4240.5 %2601
798RofChade 1.0 x64 1CPU - 2644200+ 64= 61- 7547.3 %2626
833Marvin 3.1.0 x64 1CPU - 2634100+ 31= 32- 3747.0 %2613
912Pawny 1.2 x64 - 2603100+ 28= 32- 4044.0 %2562
971GreKo 2018.08 x64 - 2565100+ 35= 34- 3152.0 %2579
984Devel 2.0000 w32 - 2560100+ 36= 23- 4147.5 %2543
1017Shield 2.1 x64 1CPU - 2544100+ 37= 34- 2954.0 %2571
1028Pro Deo 2.8 - 2538100+ 38= 34- 2855.0 %2572

back