Difference between revisions of "TPDB"

From Termination-Portal.org
Jump to navigationJump to search
(inserted correct TPDB version for termComp 2015)
(updated link to converter)
Line 31: Line 31:
== Tools ==
== Tools ==
* converter from pre-7 (textual) format to 7.* (XML) format: http://termcomp.uibk.ac.at/current/convert.jar , usage:
* converter from pre-7 (textual) format to 7.* (XML) format: http://cl-informatik.uibk.ac.at/users/thiemann/convert.jar, usage:
  java -jar convert.jar someTrs.trs > someTrs.xml  
  java -jar convert.jar someTrs.trs > someTrs.xml  

Revision as of 11:18, 2 December 2016

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

Syntax and semantics specification

see also:



The following are references for classical problem sets that appear in TPDB.

TPDB problems are collected from a variety of sources, by a variety of contributors. Often, the author of the problem is not the creator of the respective TPDB file. Sometimes, TPDB file structure (directory names) have been changed.


java -jar convert.jar someTrs.trs > someTrs.xml 
  • converter from 7.* (XML) format to pre-7 (textual) format: xtc2tpdb.xsl, already part of the TPDB, usage:
xsltproc xtc2tpdb.xsl someTrs.xml > someTrs.trs
  • Haskell library for reading and writing TPDB (plain and XML format) [1]