| 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 |