diff options
Diffstat (limited to 'src/resources/_default_pagoda.properties')
| -rw-r--r-- | src/resources/_default_pagoda.properties | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/src/resources/_default_pagoda.properties b/src/resources/_default_pagoda.properties deleted file mode 100644 index 7bd5dd3..0000000 --- a/src/resources/_default_pagoda.properties +++ /dev/null | |||
| @@ -1,13 +0,0 @@ | |||
| 1 | debug=false | ||
| 2 | useAlwaysSimpleUpperBound=false | ||
| 3 | #skolemUpperBound=DISABLED | ||
| 4 | skolemUpperBound=AFTER_SUMMARISATION | ||
| 5 | #skolemUpperBound=BEFORE_SUMMARISATION | ||
| 6 | skolemDepth=10 | ||
| 7 | |||
| 8 | # seems ok for -Xmx6g | ||
| 9 | maxTriplesInSkolemStore=2500000 | ||
| 10 | |||
| 11 | toCallHermit=true | ||
| 12 | |||
| 13 | statisticsDir=statistics \ No newline at end of file | ||