How much total time was in lane 4?
CREATE TABLE "semifinal_3" (
  "rank" real,
  "lane" real,
  "athlete" text,
  "nationality" text,
  "time" real,
  "react" real
);
SELECT COUNT("time") FROM "semifinal_3" WHERE "lane"=4;