debug=true
useAlwaysSimpleUpperBound=false
useSkolemUpperBound=true

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