diff --git a/current_counterexample.eqc b/current_counterexample.eqc
deleted file mode 100644
index aafab95..0000000
Binary files a/current_counterexample.eqc and /dev/null differ