Benchmarks on Standard TRSs
Table 1 shows a summary of results of VMTL on the set of standard 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 |
|---|---|---|---|---|
| 1391 | 523 | 106 | 185 | 577 |
Table 1: VMTL Benchmark Summary.
Table 2 provides details on these experiments.
Table 2: VMTL Benchmark test results on standard TRSs.