Links for guided-tamp-benchmark