header image

936Counter 3.0 x64 1CPU -25901100+333-419=34846.1 %perf.
669Marvin 3.2.0 x64 1CPU - 2697200+ 41= 63- 9636.3 %2600
737Godel 4.4.5 x64 - 2668100+ 23= 35- 4240.5 %2602
791RofChade 1.0 x64 1CPU - 2646200+ 64= 61- 7547.3 %2628
829Marvin 3.1.0 x64 1CPU - 2634100+ 31= 32- 3747.0 %2613
908Pawny 1.2 x64 - 2603100+ 28= 32- 4044.0 %2562
963GreKo 2018.08 x64 - 2567100+ 35= 34- 3152.0 %2581
979Devel 2.0000 w32 - 2561100+ 36= 23- 4147.5 %2544
1013Shield 2.1 x64 1CPU - 2544100+ 37= 34- 2954.0 %2571
1022Pro Deo 2.8 - 2539100+ 38= 34- 2855.0 %2573

back