diff --git a/examples/python/mini_ic3.py b/examples/python/mini_ic3.py
index 048e8e518..39756d207 100644
--- a/examples/python/mini_ic3.py
+++ b/examples/python/mini_ic3.py
@@ -394,7 +394,7 @@ test("data/horn2.smt2")
 test("data/horn3.smt2")
 test("data/horn4.smt2")
 test("data/horn5.smt2")
-test("data/horn6.smt2")
+# test("data/horn6.smt2") # takes long time to finish