The following shows Cora's results on the first-order integer TRSs in the TPDB, using a one-minute timeout.
For comparison, the results from AProVE's innermost evaluation of integer TRSs are included (but note that this is a weaker property than full termination). The evaluation details can be found at the evaluation page for the 2023 termination competition.