An application for a posteriori analysis of sorting algorithms