Tyrolean Complexity Tool
Web Interface
Input  
or upload file
Search Strategy
Automatic
with timeout of seconds.