diff --git a/bin/benchmark.ml b/bin/benchmark.ml
index 2b311c8..be1479b 100644
--- a/bin/benchmark.ml
+++ b/bin/benchmark.ml
@@ -100,6 +100,7 @@ let test_cases =
     "□((p ∨ q) ∧ (p → r))";
     "□(p ∨  □ q ∧ t) ∧(t → p)";
     "□(□(t -> t))";
+    "(q →  (¬p ∨ ¬¬p)) ∧ ((¬p ∨ ¬¬ p) →  q)";
   ]
 
 let _ = bench test_cases