diff --git a/rtio/test/sed/output_network.py b/rtio/test/sed/output_network.py
index deb2317..9e4cd6c 100644
--- a/rtio/test/sed/output_network.py
+++ b/rtio/test/sed/output_network.py
@@ -11,7 +11,7 @@ class OutputNetworkTestCase(FHDLTestCase):
     def verify(self):
         # Bounded model check
         self.assertFormal(
-            OutputNetwork(16, 2, [("data", 32), ("channel", 3)], fv_mode=True),
+            OutputNetwork(4, 2, [("data", 32), ("channel", 3)], fv_mode=True),
             mode="bmc", depth=40)
         # TODO: unbounded proof