Enviar por SMS: Rigorous Analysis of Routing Protocols Using Game Search