debug=true
useAlwaysSimpleUpperBound=false
useSkolemUpperBound=false
toCallHermit=true

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