diff --git a/test/regression/base/QF_LRA/bignum_lra1.smt2 b/test/regression/base/QF_LRA/.bignum_lra1.smt2
similarity index 100%
rename from test/regression/base/QF_LRA/bignum_lra1.smt2
rename to test/regression/base/QF_LRA/.bignum_lra1.smt2
diff --git a/test/regression/base/QF_LRA/bignum_lra2.smt2 b/test/regression/base/QF_LRA/.bignum_lra2.smt2
similarity index 100%
rename from test/regression/base/QF_LRA/bignum_lra2.smt2
rename to test/regression/base/QF_LRA/.bignum_lra2.smt2
diff --git a/test/regression/base/QF_LRA/bignum_lra2_simplified0.smt2 b/test/regression/base/QF_LRA/.bignum_lra2_simplified0.smt2
similarity index 100%
rename from test/regression/base/QF_LRA/bignum_lra2_simplified0.smt2
rename to test/regression/base/QF_LRA/.bignum_lra2_simplified0.smt2
diff --git a/test/regression/base/QF_LRA/bignum_lra2_simplified1.smt2 b/test/regression/base/QF_LRA/.bignum_lra2_simplified1.smt2
similarity index 100%
rename from test/regression/base/QF_LRA/bignum_lra2_simplified1.smt2
rename to test/regression/base/QF_LRA/.bignum_lra2_simplified1.smt2
diff --git a/test/regression/base/QF_LRA/bignum_lra2_simplified3.smt2 b/test/regression/base/QF_LRA/.bignum_lra2_simplified3.smt2
similarity index 100%
rename from test/regression/base/QF_LRA/bignum_lra2_simplified3.smt2
rename to test/regression/base/QF_LRA/.bignum_lra2_simplified3.smt2
diff --git a/test/regression/base/QF_LRA/bignum_lra2_simplified3a.smt2 b/test/regression/base/QF_LRA/.bignum_lra2_simplified3a.smt2
similarity index 100%
rename from test/regression/base/QF_LRA/bignum_lra2_simplified3a.smt2
rename to test/regression/base/QF_LRA/.bignum_lra2_simplified3a.smt2
diff --git a/test/regression/base/QF_LRA/clocksynchro_2clocks.worst_case_skew.induct.smt2 b/test/regression/base/QF_LRA/.clocksynchro_2clocks.worst_case_skew.induct.smt2
similarity index 100%
rename from test/regression/base/QF_LRA/clocksynchro_2clocks.worst_case_skew.induct.smt2
rename to test/regression/base/QF_LRA/.clocksynchro_2clocks.worst_case_skew.induct.smt2
diff --git a/test/regression/base/QF_LRA/clocksynchro_2clocks.worst_case_skew.induct_simplified_0.smt2 b/test/regression/base/QF_LRA/.clocksynchro_2clocks.worst_case_skew.induct_simplified_0.smt2
similarity index 100%
rename from test/regression/base/QF_LRA/clocksynchro_2clocks.worst_case_skew.induct_simplified_0.smt2
rename to test/regression/base/QF_LRA/.clocksynchro_2clocks.worst_case_skew.induct_simplified_0.smt2