Beyond Dependency Graphs

Below we report on the experiments we performed with TTT2 on the 1331 TRSs of the full termination category in version 5.0 of the TPDB that fulfill the variable condition. All tests were performed on a workstation equipped with an Intel® Pentium™ M processor running at a CPU rate of 2 GHz and 1 GB of system memory. For all experiments we used a 60 seconds time limit. Besides the SCC processor we used the dependency graph processor of Definition 1 and the improved dependency graph processor of Theorem 6 with IDG_c(P,R) (DG_c(P,R)) for (non-)right-linear P U R (r for short). To approximate dependency graphs we used the estimation described in [8] (abbreviated by e) and DG_c(P,R) of Definition 3 (indicated by c).

Experimental Results: results and statistics