/TPDB

The Termination Problem Database

Primary LanguageSMT

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.

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.