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.3) (mint-0.3.tgz, scripts.tgz) with SMT solver Z3 v4.12.2
environment	PC with Intel Core i5-1340P CPU (4.6 GHz) and 8 GB