Sunan Abi Dawud Book 5, Hadith 91
The Prophet (ﷺ) used to pray thirteen rak'ahs during the night. He would offer eight rak'ahs observing the witr with one rak'ah. Then he prayed (the narrator Muslim said) two rak'ahs after witr prayer in sitting position. When he wished to bow, he stood up and bowed. He used to pray two rak'ahs between the call to the dawn prayer and the iqamah.
The Messenger of Allah (ﷺ) used to pray thirteen rak'ahs during the night ; he then offered two light rak'ahs of prayer when he heard the call to the dawn prayer.
How did the Messenger of Allah (ﷺ) pray during Ramadhan ? She said: The Messenger of Allah (ﷺ) did not pray more than eleven rak'ahs during Ramadhan and other than Ramadhan. He would pray four rak'ahs. Do not ask about their elegance and length. He then would pray for rak'ahs. Do not ask about their alegance and length. Then he would pray three rak'ahs. 'Aishah said: I asked: Messenger of Allah, do you sleep before observing witr ? He replied: 'Aishah, my eyes sleep, but my heart does not sleep.