From 691964863246bbf6ef9f72cc5e82c83df34f135a Mon Sep 17 00:00:00 2001 From: RncLsn Date: Tue, 2 Jun 2015 15:40:29 +0100 Subject: Working query-dependent semi-skolemised upper bound (tested on UOBM1 and LUBM1). --- data/Pagoda-2.0.1-uobm1-test_queries.log | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 data/Pagoda-2.0.1-uobm1-test_queries.log (limited to 'data/Pagoda-2.0.1-uobm1-test_queries.log') 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 -- cgit v1.2.3