Tyrolean Complexity Tool
Web Interface
Input  
or upload file
Search Strategy
TRS and ITS Only TRS Only ITS
with timeout of seconds.