CREATE TABLE table_name_45 (laps INT, time_retired VARCHAR)

How many laps were driven in 2:54:23.8?
SELECT SUM(laps) FROM table_name_45 WHERE time_retired = "2:54:23.8"
SELECT SUM("laps") FROM "table_name_45" WHERE "2:54:23.8" = "time_retired"