working stub of true DL-distance
working stub of true DL-distance
working DL distance (unweighted)