diff --git a/src/halmos/__main__.py b/src/halmos/__main__.py
index 4c9fa159..f1f92cf9 100644
--- a/src/halmos/__main__.py
+++ b/src/halmos/__main__.py
@@ -745,7 +745,7 @@ def future_callback(future_model):
                 if done == total:
                     break
                 status.update(f"solving: {done} / {total}")
-                time.sleep(1)
+                time.sleep(0.1)
 
     if args.early_exit:
         thread_pool.shutdown(wait=False, cancel_futures=True)