Table schema:
CREATE TABLE table_name_55 (total VARCHAR, set_3 VARCHAR)

Question: What was the total with a score in set 3 of 13–25?
SQL: SELECT total FROM table_name_55 WHERE set_3 = "13–25"