diff --git a/smt-problems/small_forall_example copy.smt2 b/smt-problems/small_forall_example_2.smt2
similarity index 100%
rename from smt-problems/small_forall_example copy.smt2
rename to smt-problems/small_forall_example_2.smt2