header image

944Counter 3.0 x64 1CPU -25871100+333-419=34846.1 %perf.
693Marvin 3.2.0 x64 1CPU - 2687200+ 41= 63- 9636.3 %2590
739Godel 4.4.5 x64 - 2667100+ 23= 35- 4240.5 %2601
797RofChade 1.0 x64 1CPU - 2644200+ 64= 61- 7547.3 %2626
832Marvin 3.1.0 x64 1CPU - 2633100+ 31= 32- 3747.0 %2612
910Pawny 1.2 x64 - 2603100+ 28= 32- 4044.0 %2562
970GreKo 2018.08 x64 - 2565100+ 35= 34- 3152.0 %2579
982Devel 2.0000 w32 - 2560100+ 36= 23- 4147.5 %2543
1015Shield 2.1 x64 1CPU - 2543100+ 37= 34- 2954.0 %2570
1026Pro Deo 2.8 - 2537100+ 38= 34- 2855.0 %2571

back