TRSs shown terminating by Cdiprover/Cdisolver:

TRS/AG01/#3.35.trs
TRS/TRCSR/Ex4_4_Luc96b_L.trs (4 proofs)
TRS/TRCSR/Ex18_Luc06_L.trs (3 proofs)
TRS/TRCSR/Ex23_Luc06_L.trs (3 proofs)
TRS/higher-order/Bird/Ex2_6_1Composition.trs (3 proofs)
TRS/higher-order/AotoYam/017.trs (3 proofs)
TRS/higher-order/AotoYam/005.trs
TRS/higher-order/AotoYam/025.trs (3 proofs)
TRS/SK90/2.46.trs
TRS/SK90/2.60.trs (8 proofs)
TRS/SK90/4.19.trs (5 proofs)
TRS/SK90/2.50.trs
TRS/SK90/4.33.trs (3 proofs)
TRS/SK90/4.37.trs
TRS/Zantema/jw44.trs
TRS/Zantema/jw47.trs
TRS/D33/03.trs (2 proofs)
TRS/D33/07.trs
TRS/LJB01/jones4.trs

(19 TRSs, 46 proofs total)