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 Messenger of Allah ﷺ used to pray (voluntary prayers) at night two by two, and he would pray one Rak’ah of Witr.”  

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

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

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

[Machine] The translation of the given text into English is: The Messenger of Allah ﷺ used to pray eight rak'ahs (units of prayer) at night, then he would add three rak'ahs for Witr prayer, and he would also pray two rak'ahs of Fajr prayer.  

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

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 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 Prophet ﷺ used to pray thirteen Rak’ah at night.” (Using translation from Ibn Mājah 1359)   

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