(In reply to Michael Andres from comment #5) > I don't think '<graphic>' is supported in newer testcase formats. We could > at most write out a dot-file which can be fed into some graph rendering tool. The article describes generating graph from xml file created by solver. Data in such xml could be used to fetch required information in (as i understand) greater detail then my proposed solution.