header image

882Amoeba 3.2 x64 1CPU -28812302+578-688=103647.6 %perf.
567Pedone 2.1 x64 1CPU - 3070100+ 5= 45- 5027.5 %2901
680Beef 0.2.2 x64 1CPU - 299698+ 20= 33- 4537.2 %2906
710Weiss 1.3 x64 1CPU - 2979100+ 11= 50- 3936.0 %2880
725Minic 2.48 x64 1CPU - 2970100+ 13= 42- 4534.0 %2855
734Combusken 1.3.0 x64 1CPU - 2963100+ 14= 51- 3539.5 %2890
761Minic 2.40 x64 1CPU - 2949100+ 18= 40- 4238.0 %2865
801Marvin 4.0.0 x64 1CPU - 2924100+ 21= 50- 2946.0 %2897
807SmarThink 1.98 x64 - 2919100+ 30= 43- 2751.5 %2929
834Marvin 3.6.0 x64 1CPU - 2906100+ 25= 51- 2450.5 %2909
841Bagatur 2.2a x64 1CPU - 2902104+ 24= 42- 3843.3 %2856
846Topple 0.8.0 x64 1CPU - 2901100+ 22= 40- 3842.0 %2846
847Naum 4.6 x64 1CPU - 2900100+ 24= 44- 3246.0 %2873
850FabChess 1.16 x64 1CPU - 2900100+ 26= 44- 3048.0 %2886
859Bagatur 2.2 x64 1CPU - 2895100+ 24= 42- 3445.0 %2861
883Weiss 1.2 x64 1CPU - 2881100+ 28= 52- 2054.0 %2908
901PeSTO 2.210 x64 1CPU - 2870100+ 27= 48- 2551.0 %2877
908Tucano 9.00 x64 1CPU - 2865100+ 29= 47- 2452.5 %2882
933Counter 3.6 x64 1CPU - 2849100+ 29= 47- 2452.5 %2866
934Koivisto 3.0 x64 1CPU - 2848100+ 29= 48- 2353.0 %2868
1020Counter 3.5 x64 1CPU - 2801100+ 40= 43- 1761.5 %2882
1030Francesca MAD 0.29 - 2798100+ 44= 43- 1365.5 %2909
1033Gogobello 2.2 x64 1CPU - 2795100+ 35= 45- 2057.5 %2847
1038Asymptote 0.8 x64 1CPU - 2792100+ 40= 46- 1463.0 %2884

back