YES | termination proved |
NO | termination disproved |
TIMEOUT | timeout limit reached, no result |
MAYBE | tool answers 'maybe', no result |
CRASHED | tool aborted abnormally |
EMPTYRHS | the termination problem has empty right hand sides, and tool can't handle such problems |