Ibn 'Abbaas (may Allah be pleased with him) says:
"Messenger of Allah ﷺ sometimes performed 13 rak'ahs of tahajjud (including witr)".

حَدَّثَنَا أَبُو كُرَيْبٍ مُحَمَّدُ بْنُ الْعَلاءِ، قَالَ: حَدَّثَنَا وَكِيعٌ، عَنْ شُعْبَةَ، عَنْ أَبِي جَمْرَةَ، عَنِ ابْنِ عَبَّاسٍ، قَالَ: كَانَ النَّبِيُّ ﷺ يُصَلِّي مِنَ اللَّيْلِ ثَلاثَ عَشْرَةَ رَكْعَةً.