Sahih Muslim · Hadith 1839

حدثنا أبو بكر بن أبي شيبة، حدثنا غندر، عن شعبة، ح وحدثنا ابن المثنى، وابن، بشار قالا حدثنا محمد بن جعفر، حدثنا شعبة، عن أبي جمرة، قال سمعت ابن عباس، يقول كان رسول الله صلى الله عليه وسلم يصلي من الليل ثلاث عشرة ركعة ‏.‏

Zaid b Khalid al-Juhani said: I would definitely watch at night the prayer observed by the Messenger of Allah (may peace be upon him). He prayed two short rak'ahs, then two long, long, long rak'ahs, then he prayed two rak'ahs which were shorter than the two preceding rak'ahs, then he prayed two rak'ahs which were shorter than the two preceding, then he prayed two rak'ahs which were shorter than the two preceding, then observed a single one (Witr), making a total of thirteen rak'ahs

Gradings are classical jarḥ-wa-taʿdīl, name-matched to a rijāl index (not individually re-verified).