More precise SDP debugging