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.
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.