This page collects experimental results conducted with
our amortised resource analysis in combination with the complexity analyser TcT,
version 3.2:
As testbed we used the runtime-complexity subset of the termination problem database, version 10.4.
All experiments were run with a timeout of 60s on a machine with an Intel Core i7-6900K (8 cores, 16 threads, 20MB cache) processor and DDR4 32 GB RAM.
- Standalone Ara comparing MiniSMT and Z3
- Standalone Ara compared to Ara with Heuristics on indepdent benchmark
- TcT Poly vs. TcT Mat vs. TcT Ints vs. TcT Ara MiniSMT vs. TcT Ara Z3
- TcT Comp vs. TcT Comp Ara vs. TcT Comp Ara Parallel
As testbed we used the runtime-complexity subset of the termination problem database, version 10.4.
All experiments were run with a timeout of 60s on a machine with an Intel Core i7-6900K (8 cores, 16 threads, 20MB cache) processor and DDR4 32 GB RAM.