CREATE TABLE table_10930 ("Driver" TEXT, "Constructor" TEXT, "Laps" FLOAT, "Time/Retired" TEXT, "Grid" FLOAT)

How many laps have a Time/Retired of +12.5 secs?
SELECT COUNT("Laps") FROM table_10930 WHERE "Time/Retired" = '+12.5 secs'
SELECT COUNT("Laps") FROM "table_10930" WHERE "Time/Retired" = '+12.5 secs'