1 files changed, 0 insertions, 13 deletions

diff --git a/src/main/java/resources/pagoda.properties b/src/main/java/resources/pagoda.properties
deleted file mode 100644
index 646744c..0000000
--- a/src/main/java/resources/pagoda.properties
+++ /dev/null
@@ -1,13 +0,0 @@
-debug=true
-useAlwaysSimpleUpperBound=false
-#skolemUpperBound=DISABLED
-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