Tyrolean Complexity Tool
Automated Amortised Resource Analysis for Term Rewrite Systems
This page collects experimental results conducted with our amortised resource analysis for best case analyses:


All experiments were run with a timeout of 60s on a machine with an Intel Core i7-3840QM processor and 32GB RAM.

Last Update: 26.03.2018 -- added btree examples