Revert "Do not use walltime killer anymore."

This reverts commit 5452dd7.

Author: Martin Jonáš

smtcomp/tool.py

@@ -5,6 +5,9 @@
 import sys, re
 import os
 
+TIMEOUT_COMMAND = "./walltime_killer.py"
+TIMEOUT = "1200"  # needs to be refactored!
+
 
 class SMTCompTool(BaseTool2):  # type: ignore
     """
@@ -87,13 +90,13 @@ def cmdline(  # type: ignore
 
         if options:
             # executable and options were overridden by the task definition
-            return [*options, *tasks]
+            return [TIMEOUT_COMMAND, TIMEOUT, *options, *tasks]
         else:
             # using default executable
-            return [executable, *tasks]
+            return [TIMEOUT_COMMAND, TIMEOUT, executable, *tasks]
 
     def program_files(self, executable: str) -> Any:
-        files = [executable] + self._program_files_from_executable(executable, self.REQUIRED_PATHS)
+        files = [TIMEOUT_COMMAND, executable] + self._program_files_from_executable(executable, self.REQUIRED_PATHS)
         return files
 
     @staticmethod