diff --git a/benchexec/tools/veriabs.py b/benchexec/tools/veriabs.py
index <HASH>..<HASH> 100644
--- a/benchexec/tools/veriabs.py
+++ b/benchexec/tools/veriabs.py
@@ -53,12 +53,12 @@ class Tool(benchexec.tools.template.BaseTool):
         return [executable] + options + tasks
 
     def determine_result(self, returncode, returnsignal, output, isTimeout):
-        lines = " ".join(output[-10:])
-        if "SUCCESS" in lines:
+        lines = " ".join(output)
+        if "VERIABS_VERIFICATION_SUCCESSFUL" in lines:
             return result.RESULT_TRUE_PROP
-        elif "FAILED" in lines:
+        elif "VERIABS_VERIFICATION_FAILED" in lines:
             return result.RESULT_FALSE_REACH
-        elif "NOT SUPPORTED" in lines or "UNKNOWN" in lines:
+        elif "NOT SUPPORTED" in lines or "VERIABS_UNKNOWN" in lines:
             return result.RESULT_UNKNOWN
         else:
             return result.RESULT_ERROR
Updated to determine correct results

Changes to check complete veriabs output and detect correct results as expected.