header image

1006Counter 3.0 x64 1CPU -25901200+359-447=39446.3 %perf.
745Marvin 3.2.0 x64 1CPU - 2689200+ 41= 63- 9636.3 %2592
798Godel 4.4.5 x64 - 2668100+ 23= 35- 4240.5 %2602
857RofChade 1.0 x64 1CPU - 2645200+ 64= 61- 7547.3 %2627
894Marvin 3.1.0 x64 1CPU - 2634100+ 31= 32- 3747.0 %2613
920Cheese 2.0 x64 1CPU - 2624100+ 26= 46- 2849.0 %2617
980Pawny 1.2 x64 - 2601100+ 28= 32- 4044.0 %2560
1053GreKo 2018.08 x64 - 2560100+ 35= 34- 3152.0 %2574
1056Devel 2.0000 w32 - 2559100+ 36= 23- 4147.5 %2542
1085Shield 2.1 x64 1CPU - 2544100+ 37= 34- 2954.0 %2571
1096Pro Deo 2.8 - 2539100+ 38= 34- 2855.0 %2573

back