diff --git a/src/bin/common/solving_loop.ml b/src/bin/common/solving_loop.ml
index 26ee7ada1..521ce58cc 100644
--- a/src/bin/common/solving_loop.ml
+++ b/src/bin/common/solving_loop.ml
@@ -488,7 +488,10 @@ let main () =
       recoverable_error "%t" msg; st
     | Util.Timeout ->
       Printer.print_status_timeout None None None None;
-      exit_as_timeout ()
+      if (not(Options.get_timelimit_per_goal ())) then
+        exit_as_timeout ()
+      else
+        st
     | Errors.Error e ->
       recoverable_error "%a" Errors.report e;
       st