header image

1030Amoeba 3.2 x64 1CPU -28782302+578-688=103647.6 %perf.
703Pedone 2.1 x64 1CPU - 3066100+ 5= 45- 5027.5 %2897
818Beef 0.2.2 x64 1CPU - 299398+ 20= 33- 4537.2 %2903
853Weiss 1.3 x64 1CPU - 2976100+ 11= 50- 3936.0 %2877
868Minic 2.48 x64 1CPU - 2967100+ 13= 42- 4534.0 %2852
880Combusken 1.3.0 x64 1CPU - 2959100+ 14= 51- 3539.5 %2886
907Minic 2.40 x64 1CPU - 2946100+ 18= 40- 4238.0 %2862
946Marvin 4.0.0 x64 1CPU - 2921100+ 21= 50- 2946.0 %2894
950SmarThink 1.98 x64 - 2918100+ 30= 43- 2751.5 %2928
981Marvin 3.6.0 x64 1CPU - 2904100+ 25= 51- 2450.5 %2907
991Bagatur 2.2a x64 1CPU - 2899104+ 24= 42- 3843.3 %2853
994Naum 4.6 x64 1CPU - 2898100+ 24= 44- 3246.0 %2871
996Topple 0.8.0 x64 1CPU - 2897100+ 22= 40- 3842.0 %2842
997FabChess 1.16 x64 1CPU - 2896100+ 26= 44- 3048.0 %2882
1007Bagatur 2.2 x64 1CPU - 2892100+ 24= 42- 3445.0 %2858
1031Weiss 1.2 x64 1CPU - 2878100+ 28= 52- 2054.0 %2905
1047PeSTO 2.210 x64 1CPU - 2869100+ 27= 48- 2551.0 %2876
1059Tucano 9.00 x64 1CPU - 2862100+ 29= 47- 2452.5 %2879
1082Counter 3.6 x64 1CPU - 2847100+ 29= 47- 2452.5 %2864
1083Koivisto 3.0 x64 1CPU - 2846100+ 29= 48- 2353.0 %2866
1172Counter 3.5 x64 1CPU - 2799100+ 40= 43- 1761.5 %2880
1180Francesca MAD 0.29 - 2796100+ 44= 43- 1365.5 %2907
1184Gogobello 2.2 x64 1CPU - 2793100+ 35= 45- 2057.5 %2845
1188Asymptote 0.8 x64 1CPU - 2791100+ 40= 46- 1463.0 %2883

back