TPDB

The Termination Problems Data Base collects termination problems that are being used in termination competitions.

Syntax and semantics specification

• for versions from 7.* onwards (XML format): http://dev.aspsimon.org/xtc.xsd
• for versions up to 5.*: http://www.lri.fr/~marche/tpdb/format.html

see also:

• output specification for certified categories: http://cl-informatik.uibk.ac.at/software/cpf/

Data

• version 7.* (2009) and 8.* (2010) http://termcomp.uibk.ac.at/status/downloads/
• version 6.0.2 http://termcomp.uibk.ac.at/termcomp/docs/tpdb-6.0.2.tar.gz
• version 5.* (2008 .. 2009) http://dev.aspsimon.org/projects/termcomp/downloads/
• earlier versions (2003 .. 2007) http://www.lri.fr/~marche/tpdb/

Tools

• converter from pre-7 (textual) format to 7.* (XML) format: http://termcomp.uibk.ac.at/status/convert.jar , usage:

java -jar convert.jar someTrs.trs > someTrs.xml 

• converter from 7.* (XML) format to pre-7 (textual) format: http://termcomp.uibk.ac.at/status/xtc2tpdb.xsl , usage:

xsltproc xtc2tpdb.xsl someTrs.xml > someTrs.trs