diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-18 15:13:30 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-18 15:40:06 +0100 |
| commit | a5df357d52b8ca2a9a8f0f6008b54c5bab693548 (patch) | |
| tree | 922f9ff5bfb7f57d607da6c7e2891427c4e59156 /src/main/java/resources/_default_pagoda.properties | |
| parent | 537277d9ce3ba2aff1d66d1b19dbb77e17be0d48 (diff) | |
| download | ACQuA-a5df357d52b8ca2a9a8f0f6008b54c5bab693548.tar.gz ACQuA-a5df357d52b8ca2a9a8f0f6008b54c5bab693548.zip | |
build: move project `resources` folder
Diffstat (limited to 'src/main/java/resources/_default_pagoda.properties')
| -rw-r--r-- | src/main/java/resources/_default_pagoda.properties | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/src/main/java/resources/_default_pagoda.properties b/src/main/java/resources/_default_pagoda.properties deleted file mode 100644 index 7bd5dd3..0000000 --- a/src/main/java/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 | ||