The Messenger of Allah's ﷺ night prayer consisted of ten units, then he would perform a single witr unit, followed by two units for the dawn prayer, making thirteen in total.
حدثنا ابن نمير وروح المعنى قالا حدثنا حنظلة عن القاسم بن محمد قال روح سمعت القاسم بن محمد يقول سمعت
كانت صلاة رسول الله ﷺ من الليل عشر ركعات يوتر بسجدة ويركع ركعتي الفجر فتلك ثلاث عشرة