On Wed, 12 Mar 2014 14:17:11 +0100 Nikolaus Demmel <demmeln at in.tum.de> wrote: > Yes, this tool is great, thank you Timo. > > @Martin: Have you tried the —explain command line option? Thanks for the tip, just what I was looking for! :-) Cheers, Martin