Question: If the manufacturer is Proton Kr and the grid was over 10, what was the time retired?
SQL: SELECT time_retired FROM table_name_79 WHERE grid > 10 AND manufacturer = "proton kr"