From 90cb6032058ad3fc16b895922823b5a700121b1b Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Mon, 24 Aug 2015 15:54:05 +0100
Subject: Incremental Skolemised store (seems completed).

---
 src/resources/pagoda.properties | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src/resources')

diff --git a/src/resources/pagoda.properties b/src/resources/pagoda.properties
index 34b3d7a..aa08593 100644
--- a/src/resources/pagoda.properties
+++ b/src/resources/pagoda.properties
@@ -2,8 +2,12 @@ debug=true
 useAlwaysSimpleUpperBound=false
 #skolemUpperBound=DISABLED
 #skolemUpperBound=BEFORE_SUMMARISATION
-skolemUpperBound=AFTER_SUMMARISATION
+skolemUpperBound=BEFORE_SUMMARISATION
 skolemDepth=10
+
+# seems ok for -Xmx6g
+maxTriplesInSkolemStore=2500000
+
 toCallHermit=true
 
 statisticsDir=/home/alessandro/Dropbox/Oxford/PAGOdA/statistics
\ No newline at end of file
-- 
cgit v1.2.3