Skip to content

Latest commit

 

History

History
17 lines (11 loc) · 843 Bytes

README.md

File metadata and controls

17 lines (11 loc) · 843 Bytes

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.

How to Fix Benchmarks

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.