header image

983Counter 3.0 x64 1CPU -25891200+359-447=39446.3 %perf.
724Marvin 3.2.0 x64 1CPU - 2687200+ 41= 63- 9636.3 %2590
775Godel 4.4.5 x64 - 2667100+ 23= 35- 4240.5 %2601
834RofChade 1.0 x64 1CPU - 2643200+ 64= 61- 7547.3 %2625
870Marvin 3.1.0 x64 1CPU - 2633100+ 31= 32- 3747.0 %2612
900Cheese 2.0 x64 1CPU - 2623100+ 26= 46- 2849.0 %2616
953Pawny 1.2 x64 - 2602100+ 28= 32- 4044.0 %2561
1020Devel 2.0000 w32 - 2562100+ 36= 23- 4147.5 %2545
1029GreKo 2018.08 x64 - 2559100+ 35= 34- 3152.0 %2573
1055Shield 2.1 x64 1CPU - 2545100+ 37= 34- 2954.0 %2572
1074Pro Deo 2.8 - 2532100+ 38= 34- 2855.0 %2566

back