diff --git a/smt/smt_checker_rsc.py b/smt/smt_checker_rsc.py
index c1eafb6..727f0f3 100644
--- a/smt/smt_checker_rsc.py
+++ b/smt/smt_checker_rsc.py
@@ -38,7 +38,7 @@ class SmtCheckerRSC(object):
         
         self.loop_position = Int("loop_position")
         
-        self.solver = Solver()
+        self.solver = SolverFor("QF_FD")
         
         self.verification_time = None