diff --git a/lib/smtgcc.h b/lib/smtgcc.h
index 38f3aaf..b405831 100644
--- a/lib/smtgcc.h
+++ b/lib/smtgcc.h
@@ -18,7 +18,7 @@ namespace smtgcc {
 const int unroll_limit = 12;
 
 const uint32_t max_nof_bb = 50000;
-const uint32_t max_nof_inst = 1000000;
+const uint32_t max_nof_inst = 100000;
 
 struct Not_implemented
 {