header image

304Arasan 20.1 x64 1CPU -28701854+414-613=82744.6 %perf.
22Komodo 10.4 x64 1CPU - 33152+ 0= 1- 125.0 %3123
67Fizbo 1.9 x64 1CPU - 3136102+ 7= 31- 6422.1 %2916
90Ginkgo 2.0 x64 1CPU - 308950+ 4= 12- 3420.0 %2848
97Gull 3.0 x64 1CPU - 30802+ 1= 0- 150.0 %3080
107Andscacs 0.91 x64 1CPU - 3074100+ 10= 40- 5030.0 %2927
108Booot 6.2 x64 1CPU - 3073103+ 13= 30- 6027.2 %2901
111Ginkgo 1.8 x64 1CPU - 30642+ 0= 1- 125.0 %2872
114Andscacs 0.90 x64 1CPU - 3058100+ 8= 47- 4531.5 %2923
194Hannibal 1.7 x64 1CPU - 2972100+ 7= 54- 3934.0 %2857
200Booot 6.1 x64 1CPU - 2969100+ 12= 56- 3240.0 %2899
233Texel 1.06 x64 1CPU - 294250+ 5= 29- 1639.0 %2865
261Laser 1.4 x64 1CPU - 291693+ 14= 51- 2842.5 %2864
271SmarThink 1.97 x64 - 2906100+ 25= 42- 3346.0 %2879
275Nemorino 3.0 x64 1CPU - 2904100+ 15= 52- 3341.0 %2842
288Pedone 1.6 x64 1CPU - 2888100+ 24= 46- 3047.0 %2867
318Nemorino 2.0 x64 1CPU - 2858100+ 23= 50- 2748.0 %2844
320Pedone 1.5 x64 1CPU - 2857100+ 22= 54- 2449.0 %2850
326Vajolet2 2.3 x64 1CPU - 2851100+ 25= 49- 2649.5 %2848
395Wasp 2.00 x64 1CPU - 2804100+ 39= 46- 1562.0 %2888
421Rodent III 0.172 x64 1CPU - 2786100+ 43= 35- 2260.5 %2859
471Spark 1.0 x64 1CPU - 276150+ 11= 30- 952.0 %2775
536Demolito 2017-06-18 x64 1CPU - 2734100+ 51= 32- 1767.0 %2857
654Amoeba 2.4 x64 - 2684100+ 55= 39- 674.5 %2871

back