CREATE TABLE table_12419 ("Shooter" TEXT, "Event" TEXT, "Rank points" TEXT, "Score points" TEXT, "Total" TEXT)

What were the rank points when the total was 11?
SELECT "Rank points" FROM table_12419 WHERE "Total" = '11'
SELECT "Rank points" FROM "table_12419" WHERE "Total" = '11'