Hard-reset solver when getting unknown in get-model

Author: geo2a

booster/library/Booster/SMT/Interface.hs

@@ -185,7 +185,7 @@ getModelFor ctxt ps subst
                 case opts.retryLimit of
                     Just x | x > 0 -> do
                         let newOpts = opts{timeout = 2 * opts.timeout, retryLimit = Just $ x - 1}
-                        swapSmtOptions newOpts
+                        hardResetSolver newOpts
                         solve smtAsserts transState
                     _ -> getReasonUnknown
             r@ReasonUnknown{} ->