Zaid bin Khalid al-Juhani · The Book of Prayer - Travellers

I would definitely watch at night the prayer observed by the Messenger of Allah (ﷺ). 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