From c843af913162fa340264579ab138464ae3c4e5a7 Mon Sep 17 00:00:00 2001 From: Zeno Rogue Date: Sat, 31 Jul 2021 15:48:12 +0200 Subject: [PATCH] reduced the default max_tcellcount --- rulegen.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rulegen.cpp b/rulegen.cpp index 9157e068..eb3ac5f5 100644 --- a/rulegen.cpp +++ b/rulegen.cpp @@ -13,7 +13,7 @@ EX namespace rulegen { /* limits */ EX int max_retries = 999; -EX int max_tcellcount = 8000000; +EX int max_tcellcount = 1000000; EX int max_adv_steps = 100; EX int max_examine_branch = 5040; EX int max_bdata = 1000;