increase kill time

app.py

@@ -81,10 +81,10 @@ def run_bigcodebench(command):
             if process.poll() is None:  # If the process is still running
                 process.terminate()
                 is_running = False
-                yield "Process terminated after 6 minutes timeout.\n"
+                yield "Process terminated after 12 minutes timeout.\n"
 
-        # Start a timer to kill the process after 6 minutes
-        timer = threading.Timer(360, kill_process)
+        # Start a timer to kill the process after 12 minutes
+        timer = threading.Timer(720, kill_process)
         timer.start()
         
         for line in process.stdout: