diff --git a/src/main.rs b/src/main.rs
index f544fc5..00ba605 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -17,8 +17,8 @@ static FORALL: Lazy<Symbol> = Lazy::new(|| TABLE.lock().unwrap().intern("forall"
 /// Note that it is actually the string "def". This is for the user's convenience.
 static CONCRETE: Lazy<Symbol> = Lazy::new(|| TABLE.lock().unwrap().intern("def").unwrap());
 
-const DEFAULT_COMPLEXITY_LIMIT: usize = 20_000;
-const DEFAULT_STEP_LIMIT: usize = 2_000;
+const DEFAULT_COMPLEXITY_LIMIT: usize = 200_000;
+const DEFAULT_STEP_LIMIT: usize = 20_000;
 
 fn main() {
     match do_it() {