header image

359Arasan 20.1 x64 1CPU -28661954+436-647=87144.6 %perf.
31Komodo 10.4 x64 1CPU - 33112+ 0= 1- 125.0 %3119
92Fizbo 1.9 x64 1CPU - 3132102+ 7= 31- 6422.1 %2912
119Ginkgo 2.0 x64 1CPU - 308150+ 4= 12- 3420.0 %2840
125Gull 3.0 x64 1CPU - 30782+ 1= 0- 150.0 %3078
135Booot 6.2 x64 1CPU - 3071103+ 13= 30- 6027.2 %2899
136Andscacs 0.91 x64 1CPU - 3070100+ 10= 40- 5030.0 %2923
140Ginkgo 1.8 x64 1CPU - 30612+ 0= 1- 125.0 %2869
142Andscacs 0.90 x64 1CPU - 3055100+ 8= 47- 4531.5 %2920
232Booot 6.1 x64 1CPU - 2967100+ 12= 56- 3240.0 %2897
233Hannibal 1.7 x64 1CPU - 2966100+ 7= 54- 3934.0 %2851
271Texel 1.06 x64 1CPU - 293950+ 5= 29- 1639.0 %2862
304Laser 1.4 x64 1CPU - 291393+ 14= 51- 2842.5 %2861
314SmarThink 1.97 x64 - 2904100+ 25= 42- 3346.0 %2877
320Nemorino 3.0 x64 1CPU - 2900100+ 15= 52- 3341.0 %2838
335Pedone 1.6 x64 1CPU - 2885100+ 24= 46- 3047.0 %2864
339Ethereal 9.30 x64 1CPU - 2882100+ 22= 44- 3444.0 %2841
369Nemorino 2.0 x64 1CPU - 2856100+ 23= 50- 2748.0 %2842
370Pedone 1.5 x64 1CPU - 2856100+ 22= 54- 2449.0 %2849
376Vajolet2 2.3 x64 1CPU - 2849100+ 25= 49- 2649.5 %2846
450Wasp 2.00 x64 1CPU - 2803100+ 39= 46- 1562.0 %2887
475Rodent III 0.172 x64 1CPU - 2785100+ 43= 35- 2260.5 %2858
526Spark 1.0 x64 1CPU - 276050+ 11= 30- 952.0 %2774
590Demolito 2017-06-18 x64 1CPU - 2733100+ 51= 32- 1767.0 %2856
710Amoeba 2.4 x64 - 2684100+ 55= 39- 674.5 %2871

back