TPDB: Difference between revisions
J.waldmann (talk | contribs) No edit summary |
J.waldmann (talk | contribs) No edit summary |
||
| Line 2: | Line 2: | ||
that are being used in termination competitions. | that are being used in termination competitions. | ||
Syntax and semantics specification | == Syntax and semantics specification == | ||
* version 7.* (XML format): http://dev.aspsimon.org/xtc.xsd | * version 7.* (XML format): http://dev.aspsimon.org/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 | ||
Data | == Data == | ||
* version 7.* (2009) http://termcomp.uibk.ac.at/status/downloads/ | * version 7.* (2009) http://termcomp.uibk.ac.at/status/downloads/ | ||
* version 5.* (2008 .. 2009) http://dev.aspsimon.org/projects/termcomp/downloads/ | * version 5.* (2008 .. 2009) http://dev.aspsimon.org/projects/termcomp/downloads/ | ||
* earlier versions (2003 .. 2007) http://www.lri.fr/~marche/tpdb/ | * 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 | |||
Revision as of 22:48, 7 December 2009
The Termination Problems Data Base collects termination problems that are being used in termination competitions.
Syntax and semantics specification
- version 7.* (XML format): http://dev.aspsimon.org/xtc.xsd
- for versions up to 5.*: http://www.lri.fr/~marche/tpdb/format.html
Data
- version 7.* (2009) http://termcomp.uibk.ac.at/status/downloads/
- 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