CREATE TABLE table_name_11 (manufacturer VARCHAR(255), time VARCHAR(255))
Which manufacturer has a time of +10.142?
    
SQL: SELECT manufacturer FROM table_name_11 WHERE time = "+10.142"