From ae9a6bad58019ef18657568e58f49459fbadc49c Mon Sep 17 00:00:00 2001 From: RncLsn Date: Fri, 14 Aug 2015 19:21:26 +0100 Subject: Incremental Skolemised store (not working). --- src/resources/pagoda.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/resources') diff --git a/src/resources/pagoda.properties b/src/resources/pagoda.properties index dab8388..34b3d7a 100644 --- a/src/resources/pagoda.properties +++ b/src/resources/pagoda.properties @@ -3,7 +3,7 @@ useAlwaysSimpleUpperBound=false #skolemUpperBound=DISABLED #skolemUpperBound=BEFORE_SUMMARISATION skolemUpperBound=AFTER_SUMMARISATION -skolemDepth=1 +skolemDepth=10 toCallHermit=true statisticsDir=/home/alessandro/Dropbox/Oxford/PAGOdA/statistics \ No newline at end of file -- cgit v1.2.3