diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-06-02 15:40:29 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-06-02 15:40:29 +0100 |
| commit | 691964863246bbf6ef9f72cc5e82c83df34f135a (patch) | |
| tree | 98c9834f788ff320cabcfb29733890c5b40e024f /data/Pagoda-2.0.1-uobm1-test_queries.log | |
| parent | 4b7253559c290b6fdd1c4122830f153fda85dd62 (diff) | |
| download | ACQuA-691964863246bbf6ef9f72cc5e82c83df34f135a.tar.gz ACQuA-691964863246bbf6ef9f72cc5e82c83df34f135a.zip | |
Working query-dependent semi-skolemised upper bound (tested on UOBM1 and LUBM1).
Diffstat (limited to 'data/Pagoda-2.0.1-uobm1-test_queries.log')
| -rw-r--r-- | data/Pagoda-2.0.1-uobm1-test_queries.log | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/data/Pagoda-2.0.1-uobm1-test_queries.log b/data/Pagoda-2.0.1-uobm1-test_queries.log new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/data/Pagoda-2.0.1-uobm1-test_queries.log | |||