Dear all, the new version of TPDB is available at http://cl2-informatik.uibk.ac.at/mercurial.cgi/TPDB where you can browse the files, or just download the whole archive. (click on bz2, zip, or gz, depending on which format you prefer) It is also linked from http://termination-portal.org/wiki/TPDB Kind regards, René