Add a benchmark (now feasible)

hferee · Aug 28, 2024 · 2701687 · 2701687
1 parent cfa61cc
commit 2701687
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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