diff --git a/execution/exp_counter.txt b/execution/exp_counter.txt
deleted file mode 100644
index d00491fd7e5bb6fa28c517a0bb32b8b506539d4d..0000000000000000000000000000000000000000
--- a/execution/exp_counter.txt
+++ /dev/null
@@ -1 +0,0 @@
-1