Bus lanes scrapped in Liverpool

There are established measurements for congestion, e.g. calculating 'intersection delay' (also called 'vehicle delay').

http://en.wikibooks.org/wiki/Fundamentals_of_Transportation/Traffic_Signals#Intersection_delay

Mathematical models always rely on assumptions and a particular kind of input, and you can make your models do pretty much whatever you want.