src/resources/_default_pagoda.properties


1
2
3
4
5
6
7
8
9
10
11
12
13

debug=false
useAlwaysSimpleUpperBound=false
#skolemUpperBound=DISABLED
skolemUpperBound=AFTER_SUMMARISATION
#skolemUpperBound=BEFORE_SUMMARISATION
skolemDepth=10

# seems ok for -Xmx6g
maxTriplesInSkolemStore=2500000

toCallHermit=true

statisticsDir=statistics