Mi consejo es que no te obsesiones demasiado con las prestaciones brutas, a menudo es mejor un quadcore con 1 GB RAM que tenga buena calidad, soporte de la marca y una comunidad de usuarios potente que un octacore con 2 GB RAM de calidad perronera y con poco soporte/scene.
Partiendo de esa premisa, de todos los modelos que propones me quedaría con el Xiaomi Redmi 1S sin dudarlo, ya que Xiaomi tiene una calidad muy superior a la del resto de marcas que mencionas y además gozarás de mucho mejor soporte y scene (los Redmi/Redmi 1S se están vendiendo como churros, aparte de que tienen detrás a Miui).
Saludos