diff --git a/benchexec/tools/relay-sv.py b/benchexec/tools/relay-sv.py
index 48d54df49..0bdc1ffb0 100644
--- a/benchexec/tools/relay-sv.py
+++ b/benchexec/tools/relay-sv.py
@@ -25,15 +25,13 @@ def name(self):
         return "relay-sv"
 
     def cmdline(self, executable, options, task, rlimits):
-        return [executable, *options, *task.input_files]
+        return [executable, *options, task.single_input_file]
 
     def determine_result(self, run):
-        status = result.RESULT_ERROR
         if run.output:
             if run.output.any_line_contains("Possible race"):
-                status = result.RESULT_UNKNOWN
-            elif run.output.any_line_contains("Fatal error"):
-                status = result.RESULT_ERROR
+                return result.RESULT_UNKNOWN
+            elif run.output.any_line_contains("Total Warnings: 0"):
+                return result.RESULT_TRUE_PROP
             else:
-                status = result.RESULT_TRUE_PROP
-        return status
+                return result.RESULT_ERROR