From e808241af328e63fc2f05143a8b5cf3ca1d6e624 Mon Sep 17 00:00:00 2001
From: mugurelionut <mugurelionut@gmail.com>
Date: Sun, 29 Dec 2019 20:07:16 +0100
Subject: [PATCH] increase heap size
---
r2sol.cc | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/r2sol.cc b/r2sol.cc
index 869284f..fd8bb2e 100644
--- a/r2sol.cc
+++ b/r2sol.cc
@@ -539,7 +539,7 @@ Xor128 xor128[MAX_NUM_THREADS];
short int perm[MAX_NUM_THREADS][NMAX];
char pused[MAX_NUM_THREADS][NMAX];
-#define MAX_HEAP_SIZE 20000
+#define MAX_HEAP_SIZE 100000
struct HeapElement {
short int t, node, t1, est_tmin;
--
GitLab