This page collects experimental results conducted with our amortised resource analysis for best case analyses:

• Ara Lowerbound Best Case Analysis on TRS
• Ara Lowerbound Best Case Analysis for OCaml

All experiments were run on an Intel Core i9-8950HK CPU running at 2.90GHz, and 16GB of RAM with a timeout of 60 seconds.