¿Por qué procesar un array ordenado es más rápido que procesar uno desordenado? [ENG]

He aquí un fragmento de código en C++ que parece muy peculiar. Por alguna extraña razón, el procesado de los datos ordenados hace que, milagrosamente, la ejecución del código sea casi seis veces más rápida que con los datos desordenados. ¿Qué está pasando? ¿Por qué procesar un array ordenado es más rápido que procesarlo desordenado?