Las faltas se descubren viendo cuando las salidas de los procesadores reproducidos divergieron.