Benchmarks on Context-Sensitive TRSs
Table 1 shows a summary of results of VMTL on the set of context-sensitive TRSs from the termination problem database used at the termination competition on November 4, 2008. A time limit of 60 seconds was used. See here for information on other tools performing on the same set of TRSs.
|Number of TRSs||Proved Terminating||Proved Non-terminating||Maybe||Timeout|
Table 2 provides details on these experiments.