Question: In what year did Willie Williams set the 100 metres world record that was recorded by the International Association of Athletics Federations?
Sentence (from "Willie Williams (athlete)"): Willie Williams (born September 12, 1931) is a former American sprinter who set the 100 metres world record in 1956, with a new time of 10.1s, one-tenth of second faster than previous record held jointly by 8 men.
Relevant evidence: Yes