diff --git a/src/halmos/__main__.py b/src/halmos/__main__.py
index 8fe26596..3564adb9 100644
--- a/src/halmos/__main__.py
+++ b/src/halmos/__main__.py
@@ -606,7 +606,7 @@ def run(
 
     timer = NamedTimer("time")
     timer.create_subtimer("paths")
-    sevm.status.start()
+    sevm.status_start()
 
     exs = sevm.run(
         Exec(
diff --git a/src/halmos/sevm.py b/src/halmos/sevm.py
index 6b3b3c2b..f6318dbc 100644
--- a/src/halmos/sevm.py
+++ b/src/halmos/sevm.py
@@ -15,6 +15,7 @@
     TypeVar,
 )
 
+import rich
 import xxhash
 from eth_hash.auto import keccak
 from rich.status import Status
@@ -1718,6 +1719,11 @@ def __init__(self, options: HalmosConfig) -> None:
         is_generic = self.options.storage_layout == "generic"
         self.storage_model = GenericStorage if is_generic else SolidityStorage
 
+    def status_start(self) -> None:
+        # clear any remaining live display before starting a new instance
+        rich.get_console().clear_live()
+        self.status.start()
+
     def div_xy_y(self, w1: Word, w2: Word) -> Word:
         # return the number of bits required to represent the given value. default = 256
         def bitsize(w: Word) -> int: