•The upper left pane shows the statistics about each executed path
•12 out of a total of 24 possible paths executed
•The paths listed in ascending order of frequency
•The path with id 13 has been selected (red line) and highlighted in the source code view
