[Angel Sánchez]

Si, el exit(-1) hace que termine el programa. Ya que para que una matriz sea simetría todas las comparaciones deben de ser iguales, así que basta con que un solo valor no sea igual para determinar que no es una matriz simétrica.