The experiments were generated using this test file. As testbed we used the problems from the termination problem data base version 8.0. We have restricted this testbed by excluding trivial examples according to the criteria described in this mail. Further, as our main theorem is only applicable to constructor TRSs, we only considered such systems. Overall, the testbed consists of 1089 examples. As timeout we used 60 seconds.

Statistics

Details