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/pagoda.properties | |
| 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/pagoda.properties')
| -rw-r--r-- | src/resources/pagoda.properties | 4 |
1 files changed, 2 insertions, 2 deletions
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 | ||