CREATE TABLE table_name_12 (time VARCHAR(255), eliminated_by VARCHAR(255), wrestler VARCHAR(255))
What time was the Wrestler Henry eliminated by Batista?
    
SQL: SELECT time FROM table_name_12 WHERE eliminated_by = "batista" AND wrestler = "henry"