A detailed comparative analysis of all practical algorithms to compute lower bounds on the structured singular value. (November 2015)