src/resources/pagoda.properties


1
2
3
4
5
6
7
8
9

debug=true
useAlwaysSimpleUpperBound=false
skolemUpperBound=DISABLED
#skolemUpperBound=BEFORE_SUMMARISATION
#skolemUpperBound=AFTER_SUMMARISATION
skolemDepth=1
toCallHermit=true

statisticsDir=/home/alessandro/Dropbox/Oxford/PAGOdA/statistics