TPDB
From Termination-Portal.org
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/workspace/projectdownloads/tpdb-5.0.2.tar.gz
- 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
