Difference between revisions of "TPDB"

From Termination-Portal.org
Jump to navigationJump to search
Line 5: Line 5:
  
  
* for versions from 7.* onwards (XML format): http://dev.aspsimon.org/xtc.xsd
+
* for versions from 7.* onwards (XML format): http://termcomp.uibk.ac.at/tpdb/xtc.xsd
 
* for versions up to 5.*: http://www.lri.fr/~marche/tpdb/format.html
 
* for versions up to 5.*: http://www.lri.fr/~marche/tpdb/format.html
  
Line 13: Line 13:
  
 
== Data ==
 
== Data ==
* version 7.* (2009) and 8.* (2010) http://termcomp.uibk.ac.at/status/downloads/
+
* version 7.* (2009), 8.0 (2010), 8.0.1 (2011), and 8.0.6 (2012) 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 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
 
* version 5.* (2008 .. 2009)  http://dev.aspsimon.org/workspace/projectdownloads/tpdb-5.0.2.tar.gz

Revision as of 08:04, 10 July 2012

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

Syntax and semantics specification

see also:

Data

Tools

java -jar convert.jar someTrs.trs > someTrs.xml 
xsltproc xtc2tpdb.xsl someTrs.xml > someTrs.trs