The Prophet ﷺ used to offer thirteen rakʿat of the night prayer and that included the witr and two rakʿat (Sunna) of the Fajr prayer.  

كَانَ النَّبِيُّ ﷺ يُصَلِّي مِنَ اللَّيْلِ ثَلاَثَ عَشْرَةَ رَكْعَةً مِنْهَا الْوِتْرُ وَرَكْعَتَا الْفَجْرِ  

I heard Ibn 'Abbas saying that the Messenger of Allah ﷺ observed thirteen rak'ahs at night.  

سَمِعْتُ ابْنَ عَبَّاسٍ يَقُولُ كَانَ رَسُولُ اللَّهِ ﷺ يُصَلِّي مِنَ اللَّيْلِ ثَلاَثَ عَشْرَةَ رَكْعَةً  

"The Prophet (S) would pray thirteen Rak'ah at night."  

كَانَ النَّبِيُّ ﷺ يُصَلِّي مِنَ اللَّيْلِ ثَلاَثَ عَشْرَةَ رَكْعَةً  

“The Prophet ﷺ used to pray thirteen Rak’ah at night.”  

كَانَ النَّبِيُّ ﷺ يُصَلِّي مِنَ اللَّيْلِ ثَلاَثَ عَشْرَةَ رَكْعَةً  

ʿAli ؓ was asked about the prayer of the Messenger of Allah ﷺ. He said: He used to pray sixteen rakʿahʿs at night.  

عَنْ صَلاةِ رَسُولِ اللهِ ﷺ قَالَ كَانَ يُصَلِّي مِنَ اللَّيْلِ سِتَّ عَشْرَةَ رَكْعَةً  

The Messenger of Allah ﷺ used to pray sixteen rakʿahs at night apart from the prescribed prayers.  

كَانَ رَسُولُ اللهِ ﷺ يُصَلِّي مِنَ اللَّيْلِ سِتَّ عَشْرَةَ رَكْعَةً سِوَى الْمَكْتُوبَةِ  

I heard Ibn 'Abbas saying that the Messenger of Allah ﷺ observed thirteen rak'ahs at night. (Using translation from Muslim 764)  

سَمِعْتُ ابْنَ عَبَّاسٍ يَقُولُ كَانَ النَّبِيُّ ﷺ يُصَلِّي ثَلاثَ عَشْرَةَ رَكْعَةً مِنَ اللَّيْلِ  

The Prophet ﷺ used to pray thirteen rak'ahs during the night including the two rak'ahs of the dawn prayer. (Using translation from Abū Dāʾūd 1360)   

أَنَّ النَّبِيَّ ﷺ كَانَ يُصَلِّي مِنَ اللَّيْلِ ثَلَاثَ عَشْرَةَ رَكْعَةً  

The Prophet ﷺ used to pray thirteen rak'ahs during the night including the two rak'ahs of the dawn prayer. (Using translation from Abū Dāʾūd 1360)   

أَنَّ رَسُولَ اللهِ ﷺ كَانَ يُصَلِّي ثَلَاثَ عَشْرَةَ رَكْعَةً بِاللَّيْلِ مَعَ رَكْعَتَيِ الْفَجْرِ  

The Messenger of Allah ﷺ used to observe thirteen rak'ahs of the night prayer. Five out of them consisted of Witr, and he did not sit, but at the end (for salutation). (Using translation from Muslim 737a)  

«كَانَ رَسُولُ اللَّهِ ﷺ يُصَلِّي مِنَ اللَّيْلِ ثَلَاثَ عَشْرَةَ رَكْعَةً»  

The Messenger of Allah ﷺ used to observe thirteen rak'ahs of the night prayer. Five out of them consisted of Witr, and he did not sit, but at the end (for salutation). (Using translation from Muslim 737a)  

كَانَ رَسُولُ اللهِ ﷺ «يُصَلِّي مِنَ اللَّيْلِ ثَلَاثَ عَشْرَةَ رَكْعَةً»  

[Machine] The Prophet ﷺ used to pray eight rak'ahs at night and then he would pray three rak'ahs of witr.  

كَانَ النَّبِيُّ ﷺ «يُصَلِّي مِنَ اللَّيْلِ ثَمَانِ رَكَعَاتٍ وَيُوتِرُ بِثَلَاثٍ»  

“The Prophet ﷺ used to pray thirteen Rak’ah at night.” (Using translation from Ibn Mājah 1359)   

أَنَّ النَّبِيَّ ﷺ كَانَ «يُصَلِّي مِنَ اللَّيْلِ ثَلَاثَ عَشْرَةَ رَكْعَةً» مُرْسَلٌ  

"The Prophet (S) would pray thirteen Rak'ah at night." (Using translation from Tirmidhī 442)  

أَنَّ رَسُولَ اللهِ ﷺ كَانَ «يُصَلِّي مِنَ اللَّيْلِ ثَلَاثَ عَشْرَةَ رَكْعَةً»  

"The Prophet (S) would pray thirteen Rak'ah at night." (Using translation from Tirmidhī 442)  

أَنَّ النَّبِيَّ ﷺ كَانَ «يُصَلِّي مِنَ اللَّيْلِ ثَلَاثَ عَشْرَةَ رَكْعَةً»