diff options
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 aa08593..8bcbca6 100644 --- a/src/resources/pagoda.properties +++ b/src/resources/pagoda.properties | |||
| @@ -1,8 +1,8 @@ | |||
| 1 | debug=true | 1 | debug=true |
| 2 | useAlwaysSimpleUpperBound=false | 2 | useAlwaysSimpleUpperBound=false |
| 3 | #skolemUpperBound=DISABLED | 3 | skolemUpperBound=DISABLED |
| 4 | #skolemUpperBound=BEFORE_SUMMARISATION | ||
| 4 | #skolemUpperBound=BEFORE_SUMMARISATION | 5 | #skolemUpperBound=BEFORE_SUMMARISATION |
| 5 | skolemUpperBound=BEFORE_SUMMARISATION | ||
| 6 | skolemDepth=10 | 6 | skolemDepth=10 |
| 7 | 7 | ||
| 8 | # seems ok for -Xmx6g | 8 | # seems ok for -Xmx6g |