diff --git a/src/halmos/__main__.py b/src/halmos/__main__.py
index 3bb3ce84..e67b5f69 100644
--- a/src/halmos/__main__.py
+++ b/src/halmos/__main__.py
@@ -774,7 +774,8 @@ def future_callback(future_model):
         elif not error:
             normal += 1
 
-        if len(result_exs) >= args.width:
+        # 0 width is unlimited
+        if args.width and len(result_exs) >= args.width:
             break
 
     timer.create_subtimer("models")