Ash-Shama'il Al-Muhammadiyah, Book 39, Hadith 253 (English) ⓘ
Ibn 'Abbaas Radiyallahu 'Anhu says: "Rasulullah Sallallahu 'Alayhi Wasallam sometimes performed 13 rak'ahs of tahajjud (including witr)".
حَدَّثَنَا أَبُو كُرَيْبٍ مُحَمَّدُ بْنُ الْعَلاءِ، قَالَ: حَدَّثَنَا وَكِيعٌ، عَنْ شُعْبَةَ، عَنْ أَبِي جَمْرَةَ، عَنِ ابْنِ عَبَّاسٍ، قَالَ: كَانَ النَّبِيُّ صلى الله عليه وسلم يُصَلِّي مِنَ اللَّيْلِ ثَلاثَ عَشْرَةَ رَكْعَةً.
also referenced under: Book 40, Hadith 266 (In-Book)