debug=true
useAlwaysSimpleUpperBound=false
useSkolemUpperBound=false

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