CREATE TABLE table_name_88 (winning_score VARCHAR(255), runner_s__up VARCHAR(255))
What is the winning scor of the tournament with Robin Walton as the runner-up?
    
SQL: SELECT winning_score FROM table_name_88 WHERE runner_s__up = "robin walton"