aboutsummaryrefslogtreecommitdiff
path: root/src/main/resources/pagoda.properties
blob: 646744cc1c7e7edbb6e4baa637abd58a67f5dc33 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
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