CREATE TABLE table_name_80 (time_retired VARCHAR(255), driver VARCHAR(255))
What is the Time/Retired value for Ludovico Scarfiotti?
    
SQL: SELECT time_retired FROM table_name_80 WHERE driver = "ludovico scarfiotti"