diff --git a/experiments/shell/run.py b/experiments/shell/run.py
index 9ac0047a..a4878c4d 100644
--- a/experiments/shell/run.py
+++ b/experiments/shell/run.py
@@ -11,6 +11,7 @@
 import shutil
 import subprocess
 import sys
+import time
 import uuid
 
 ROOT = Path(__file__).resolve().parents[2]