Tyrolean Complexity Tool
Automated Amortised Resource Analysis for Term Rewrite Systems
This page collects experimental results conducted with our amortised resource analysis in conjunction with TcT for worst case analyses. For the results of the small testbed best case lower bounds and the heuristics were evaluated as well.

Note that the links to the results of Aprove are not functional. You can find the details of these results here. The TcT experiments were run with a timeout of 60s on a machine with an Intel Xeon CPU E5-2630 v3 @ 2.40GHz (32 threads) and 64GB RAM. Aprove results were obtained with a timeout of 300 seconds on an Intel Xeon with 4 cores at 2.33 GHz and 16GB of RAM. 16GB of RAM.