Do not repeat experiments if they time out

run-exp.py

@@ -110,11 +110,15 @@ class Task:
                 cwd = self._work_dir,
                 timeout = 3600,  # FIXME
             )
+
+            return False
         except subprocess.TimeoutExpired:
             print()
             print("Task timed out!")
             print()
 
+            return True
+
     @classmethod
     def from_dict(cls, data):
         name = data.get("name", "Unnamed Task")
@@ -194,10 +198,16 @@ def main(config_file):
 
         for rep in range(c.repetitions):
             print(f"Repetition {rep}")
+            timed_out = False
+
             for task in c.tasks:
                 print(f"Running task {task.name}")
-                task.run(variables)
+                timed_out = task.run(variables)
             print()
 
+            if timed_out:  # repetitions are useless if tasks time out
+                break
+
+
 if __name__ == "__main__":
     main()