Added the instances used in our paper.