[Termtools] How to fix existing TPDB benchmarks

Dear all,

while ago, SC discussed on how to fix TPDB benchmarks. We should maintain consistency with past competition results, so we agree on the following rule:

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.

Best, Akihisa