Below is the list of tables from the database along with their columns and datatype. Need to generate an accurate SQL query for the question.
Only use the columns present in the respective table. Only use the columns which are required to generate the SQL query. Only use table joins if required and not otherwise.

### Tables ###
TABLE: CREATE TABLE table_name_25 (time INTEGER, stage VARCHAR, year VARCHAR)

### Question ###
What is the total amount of time for years prior to 2013 when speed option is the stage?

### Accurate SQL ###

SELECT SUM(time) FROM table_name_25 WHERE stage = "speed option" AND year < 2013