Adjusted the order of methods so one can read them from top to bottom

I think this really enhances readability :)
Simplified the formatting of the analysis output
Improved PDR output format

The output is now formated according to the maximum number of digits we
need to display it