Los resultados oficiales para servidores en el benchmark CASP7 se discuten por Battery "et al.".