Tyrolean Complexity Tool
Automated Amortised Resource Analysis for Term Rewrite Systems
This page collects experimental results conducted with our amortised resource analysis in combination with the complexity analyser TcT, version 3.2:

As testbed we used the runtime-complexity subset of the termination problem database, version 10.4.

All experiments were run with a timeout of 60s on a machine with an Intel Core i7-6900K (8 cores, 16 threads, 20MB cache) processor and DDR4 32 GB RAM.