Tyrolean Complexity Tool
Usable Arguments Criterion
This page collects experimental results conducted with our complexity analyser TcT, version 2.0.1, showing the effect of the usable argument positions criterion in two contexts:

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

All experiments were performed on a machine with 16 core AMD Opteron(R) 885 Dual-Core @ 2.80GHz processors with 8x8 GB Memory. All runs were aborted after a timeout of 60 seconds.