The Termination Problem Database (TPDB)

Note: For all categories apart from SRSs/TRSs, please submit new benchmarks to this repository.

This repository maintains TPDB. Please post any questions and suggestions regarding TPDB at termtools mailing list.

How to Submit New Benchmarks

Under the category directory, create a directory Your-family-name_YY where YY is the year of submission. Then create pull request.

If changes should be made on benchmarks that has been used in a past competition, please follow the procedure:

Rename the benchmark following the rule: file.ext -> file_REV2.ext -> file_REV3.ext -> ...
Make sure the old file is removed.
Then make pull request.

Name		Name	Last commit message	Last commit date
Latest commit History 39 Commits
Derivational_Complexity_Full_Rewriting		Derivational_Complexity_Full_Rewriting
Derivational_Complexity_Innermost_Rewriting		Derivational_Complexity_Innermost_Rewriting
Higher_Order_Rewriting		Higher_Order_Rewriting
PTRS_Standard		PTRS_Standard
Runtime_Complexity_Full_Rewriting		Runtime_Complexity_Full_Rewriting
Runtime_Complexity_Innermost_Rewriting		Runtime_Complexity_Innermost_Rewriting
SRS_Cycle		SRS_Cycle
SRS_Relative		SRS_Relative
SRS_Standard		SRS_Standard
TRS_Conditional		TRS_Conditional
TRS_Contextsensitive		TRS_Contextsensitive
TRS_Equational		TRS_Equational
TRS_Innermost		TRS_Innermost
TRS_Outermost		TRS_Outermost
TRS_Relative		TRS_Relative
TRS_Standard		TRS_Standard
README.md		README.md