diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-09-11 11:52:36 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-09-11 11:52:36 +0100 |
| commit | 9d7ae05224c9dd650967a1932ba76bfdd5c8d89a (patch) | |
| tree | 50a8201f95554a74f77c343c8872935c6a03f4f4 /src/resources | |
| parent | e617855cbfbd8839fd49a53114c7fd010fc934a4 (diff) | |
| download | ACQuA-9d7ae05224c9dd650967a1932ba76bfdd5c8d89a.tar.gz ACQuA-9d7ae05224c9dd650967a1932ba76bfdd5c8d89a.zip | |
Improved the statistics that are generated for evaluating the system; configuration file: now default and user-specified.
Diffstat (limited to 'src/resources')
| -rw-r--r-- | src/resources/_default_pagoda.properties | 13 | ||||
| -rw-r--r-- | src/resources/pagoda.properties | 4 |
2 files changed, 15 insertions, 2 deletions
diff --git a/src/resources/_default_pagoda.properties b/src/resources/_default_pagoda.properties new file mode 100644 index 0000000..7bd5dd3 --- /dev/null +++ b/src/resources/_default_pagoda.properties | |||
| @@ -0,0 +1,13 @@ | |||
| 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 | ||
diff --git a/src/resources/pagoda.properties b/src/resources/pagoda.properties index 8bcbca6..646744c 100644 --- a/src/resources/pagoda.properties +++ b/src/resources/pagoda.properties | |||
| @@ -1,7 +1,7 @@ | |||
| 1 | debug=true | 1 | debug=true |
| 2 | useAlwaysSimpleUpperBound=false | 2 | useAlwaysSimpleUpperBound=false |
| 3 | skolemUpperBound=DISABLED | 3 | #skolemUpperBound=DISABLED |
| 4 | #skolemUpperBound=BEFORE_SUMMARISATION | 4 | skolemUpperBound=AFTER_SUMMARISATION |
| 5 | #skolemUpperBound=BEFORE_SUMMARISATION | 5 | #skolemUpperBound=BEFORE_SUMMARISATION |
| 6 | skolemDepth=10 | 6 | skolemDepth=10 |
| 7 | 7 | ||