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

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