diff --git a/benchexec/tools/proton.py b/benchexec/tools/proton.py
index ef95f47e7..6bb3db041 100644
--- a/benchexec/tools/proton.py
+++ b/benchexec/tools/proton.py
@@ -61,7 +61,7 @@ def determine_result(self, run):
         elif run.exit_code.value == 6 and "Out of memory" in output:
             status = "OUT OF MEMORY"
 
-        elif run.exit_code.value == 6 and "SAT or SMT checker error: out-of-memory or internal-error" in output:
+        elif run.exit_code.value == 6:
             status = "OUT-OF-MEMORY or INTERNAL-ERROR"
 
         else: