The Termination Problem Database (TPDB)

Note: For all SRS/TRS categories, 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 74 Commits
C		C
C_Integer		C_Integer
Complexity_C_Integer		Complexity_C_Integer
Complexity_ITS		Complexity_ITS
Derivational_Complexity_Full_Rewriting		Derivational_Complexity_Full_Rewriting
Derivational_Complexity_Innermost_Rewriting		Derivational_Complexity_Innermost_Rewriting
Haskell		Haskell
Higher_Order_Rewriting_Union_Beta		Higher_Order_Rewriting_Union_Beta
Integer_TRS_Innermost/Mixed_ITRS_2014		Integer_TRS_Innermost/Mixed_ITRS_2014
Integer_Transition_Systems		Integer_Transition_Systems
Java_Bytecode		Java_Bytecode
Java_Bytecode_Recursive		Java_Bytecode_Recursive
Logic_Programming		Logic_Programming
Logic_Programming_with_Cut		Logic_Programming_with_Cut
Prolog		Prolog
Runtime_Complexity_Full_Rewriting		Runtime_Complexity_Full_Rewriting
Runtime_Complexity_Innermost_Rewriting		Runtime_Complexity_Innermost_Rewriting
Runtime_Complexity_Innermost_Rewriting2		Runtime_Complexity_Innermost_Rewriting2
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
xml		xml
README.md		README.md