From 7d6aaddf8135d741642bd4947be8a1bb9597e67c Mon Sep 17 00:00:00 2001
From: mehbark <terezi@pyrope.net>
Date: Tue, 13 Jun 2023 22:52:26 -0400
Subject: [PATCH] decuple default limits

---
 src/main.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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() {