CREATE TABLE table_name_4 (total INT, rider VARCHAR)

What was the total for christina liebherr?
SELECT MIN(total) FROM table_name_4 WHERE rider = "christina liebherr"
SELECT MIN("total") FROM "table_name_4" WHERE "christina liebherr" = "rider"