What was the total with a score in set 3 of 13–25?
CREATE TABLE "pool_b" (
  "date" text,
  "time" text,
  "score" text,
  "set_1" text,
  "set_2" text,
  "set_3" text,
  "total" text
);
SELECT "total" FROM "pool_b" WHERE "set_3"='13–25';