path: root/src/resources/pagoda.properties

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

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