debug=trueuseAlwaysSimpleUpperBound=false#skolemUpperBound=DISABLEDskolemUpperBound=AFTER_SUMMARISATION#skolemUpperBound=BEFORE_SUMMARISATIONskolemDepth=10# seems ok for -Xmx6gmaxTriplesInSkolemStore=2500000toCallHermit=truestatisticsDir=/home/alessandro/Dropbox/Oxford/PAGOdA/statistics