Table schema:
CREATE TABLE table_23018775_3 (pos VARCHAR, total_time VARCHAR)

Question: How many positions have a total time of 1:30.4135?
SQL: SELECT COUNT(pos) FROM table_23018775_3 WHERE total_time = "1:30.4135"