“I asked ‘Abdullah bin ‘Abbas and ‘Abdullah bin ‘Umar about the Prophet’s prayer at night. They said: ‘(He prayed) thirteen Rak’ah, including eight, and three for Witr, and two Rak’ah after the Fajr.’”
Sunan Ibn Majah Book 5, Hadith 559
← Previous Hadith It was narrated from ‘Aishah that the Prophet (ﷺ) used to pray nine Rak’ah at night.

Sunan Ibn Majah Book 5, Hadith 558 Next Hadith → “I said, I must observe how the Messenger of Allah (ﷺ) prays tonight. So I lay down at his door. The Messenger of Allah (ﷺ) got up and prayed two brief Rak’ah, then two long ones, which were very, very long, then two Rak’ah which were shorter than the ones preceding them, then two Rak’ah which were shorter than the ones preceding them, then two Rak’ah which were shorter than the ones preceding them, then two Rak’ah, then Witr. That was thirteen Rak’ah.”

Sunan Ibn Majah Book 5, Hadith 560