diff --git a/checks/genchecks.py b/checks/genchecks.py
index 4448115..7e08ee0 100644
--- a/checks/genchecks.py
+++ b/checks/genchecks.py
@@ -154,7 +154,7 @@ def print_hfmt(f, text, **kwargs):
     hargs["engine"] = "btor btormc"
     hargs["ilang_file"] = corename + "-hier.il"
 else:
-    hargs["engine"] = "smtbmc %s%s" % ("--dumpsmt2 " if dumpsmt2 else "", solver)
+    hargs["engine"] = "smtbmc --nopresat %s%s" % ("--dumpsmt2 " if dumpsmt2 else "", solver)
     hargs["ilang_file"] = corename + "-hier.il"
 
 def test_disabled(check):