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 |
|---|---|---|---|---|
| 109 | 72 | 2 | 2 | 33 |
Table 1: VMTL Benchmark Summary.
Table 2 provides details on these experiments.
Table 2: VMTL Benchmark test results on context-sensitive TRSs.