Table schema:
CREATE TABLE table_name_12 (time VARCHAR, eliminated_by VARCHAR, wrestler VARCHAR)

Question: What time was the Wrestler Henry eliminated by Batista?
SQL: SELECT time FROM table_name_12 WHERE eliminated_by = "batista" AND wrestler = "henry"