Table schema:
CREATE TABLE table_name_20 (time VARCHAR, name VARCHAR)

Question: Swimmer Audrey Lacroix finished in what time?
SQL: SELECT time FROM table_name_20 WHERE name = "audrey lacroix"