overview | termination | relative termination

Experiments for ``Lexicographic Combination of Reduction Pairs''

This page reports experimental data for the paper of Teppei Saito and Nao Hirokawa ``Lexicographic Combination of Reduction Pairs''

General Information

problem set problems.tgz, containing 1528 termination problems from the TRS_Standard category and 126 relative termination problems from the TRS_Standard category in the Termination Problem Database (TPDB) (the version available on June 19, 2024).
tool prototype termination tool Mint (version 0.3a) (mint-0.3a.tgz, scripts.tgz) with SMT solver Z3 v4.12.2
environment PC with Intel Core i5-1340P CPU (4.6 GHz) and 8 GB

Note

The termCOMP 2022 version of NaTT only supports XML inputs. To run NaTT on relative termination problems, type arixml file.ari | NaTT.exe. Note that arixml is bundled with mint-0.3a.

Results