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