CREATE TABLE table_name_11 (manufacturer VARCHAR2, time VARCHAR2)

Which manufacturer has a time of +10.142?
SELECT manufacturer FROM table_name_11 WHERE time = "+10.142"
SELECT "manufacturer" FROM "table_name_11" WHERE "+10.142" = "time"