CREATE TABLE table_name_20 (time VARCHAR, name VARCHAR)

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