Tyrolean Complexity Tool
Web Interface
Input   (in xml or trs format)
or upload file
Category
Complexity Measure: Runtime Complexity Derivational Complexity
Rewriting Strategy: Full Rewriting Innermost Rewriting
Search Strategy
Automatic Certify Customised by user

Base Techniques
matchbounds
matrices
use usable arguments
orient only usable rules
polynomials
use usable arguments
orient only usable rules
Transformations
to innermost
relative decompose
Weak Dependency Pairs
enabled
use dependency tuples
employ simplifications
dependency graph decomposition
Search for upper bound.
with timeout of seconds.