From c0f5bdcdb29608532656c71c219680eccd4aad09 Mon Sep 17 00:00:00 2001 From: yzhou Date: Tue, 21 Apr 2015 22:45:35 +0100 Subject: fixed some bugs in windows server --- log4j.log | 2421 ------------------------------------------------------------- 1 file changed, 2421 deletions(-) delete mode 100644 log4j.log (limited to 'log4j.log') diff --git a/log4j.log b/log4j.log deleted file mode 100644 index 50444d4..0000000 --- a/log4j.log +++ /dev/null @@ -1,2421 +0,0 @@ -System started with -Arg 1: ..\core\WebContent\WEB-INF\data\fly.owl -Arg 2: ..\core\WebContent\WEB-INF\data\fly-data.nt -Arg 3: null - -The number of data property range axioms that are ignored: 0(14447) -XMLReader initialized using JAXP: org.apache.xerces.jaxp.SAXParserImpl$JAXPSAXParser@188cf07e -Registered service class org.openrdf.rio.datatypes.XMLSchemaDatatypeHandler -Registered service class org.openrdf.rio.datatypes.RDFDatatypeHandler -Registered service class org.openrdf.rio.datatypes.DBPediaDatatypeHandler -Registered service class org.openrdf.rio.datatypes.VirtuosoGeometryDatatypeHandler -Registered service class org.openrdf.rio.datatypes.GeoSPARQLDatatypeHandler -Registered service class org.openrdf.rio.languages.RFC3066LanguageHandler -SimpleETL rewriting DONE -additional ontology data is saved in C:\Users\yzhou\workspace\PAGOdA\tmp\ABox.ttl. -The number of rules: 18078 -OntologyID: OntologyID(OntologyIRI()) -ELHO fragment extracted ... -Preprocessing ... checking satisfiability ... -rl-lower-bound store after importing data: 55484 (55484 new) -rl-lower-bound store finished importing data in 0.263 seconds. -Prefix declared: prefix0:=http://purl.obolibrary.org/obo/ -Prefix declared: prefix1:=http://purl.obolibrary.org/obo/FBbt# -rl-lower-bound store after materialising lower program: 109902 (54418 new) -rl-lower-bound store finished the materialisation of lower program in 1.742 seconds. -The number of answers in the lower bound: 0 -The number of sameAs assertions in RL lower store: 0 -elho-lower-bound store after importing data: 55484 (55484 new) -elho-lower-bound store finished importing data in 0.25 seconds. -elho-lower-bound store after materialising saturate named individuals: 92223 (36739 new) -elho-lower-bound store finished the materialisation of saturate named individuals in 1.093 seconds. -elho-lower-bound store after materialising lower program: 110706 (18483 new) -elho-lower-bound store finished the materialisation of lower program in 1.799 seconds. -elho-lower-store finished its own materialisation in 4.724 seconds. -Failed to find configuration: location-mapping.ttl;location-mapping.rdf;location-mapping.n3;etc/location-mapping.rdf;etc/location-mapping.n3;etc/location-mapping.ttl -@Time to group individuals by equality: 0.0 -The number of answers in the lower bound: 0 -tracking store after importing data: 55484 (55484 new) -tracking store finished importing data in 0.26 seconds. -tracking store after materialising saturate named individuals: 92223 (36739 new) -tracking store finished the materialisation of saturate named individuals in 1.04 seconds. -tracking store after materialising lower program: 110706 (18483 new) -tracking store finished the materialisation of lower program in 1.995 seconds. -tracking store is materialising multi-stage upper program ... -Iteration 1: -current store after materialising upper related rules: 110706 (0 new) -current store finished the materialisation of upper related rules in 1.602 seconds. -gap query evaluted ... -current store before importing gap tuples: 110706 -There are 0 tuples in the gap between lower and upper bound materialisation. -current store after importing gap tuples: 110706 (0). -current store finished importing gap tuples: 110706 in 0.0. -tracking store after materialising datalog-rules: 110706 (0 new) -Time to materialise datalog-rules: 1.602 -Time to detect violations: 28.778 -Time to make the constraint being satisfied: 0.01 439 tuples for atLeast(1 )(X) :- (X) -tuple number: 439 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 9 tuples for atLeast(1 )(X) :- (X) -tuple number: 9 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 10 tuples for atLeast(1 )(X) :- (X) -tuple number: 10 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 83 tuples for atLeast(1 )(X) :- (X) -tuple number: 83 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 7 tuples for atLeast(1 )(X) :- (X) -tuple number: 7 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.01 8 tuples for atLeast(1 )(X) :- (X) -tuple number: 8 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 803 tuples for atLeast(1 )(X) :- (X) -tuple number: 803 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 131 tuples for atLeast(1 )(X) :- (X) -tuple number: 131 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 12 tuples for atLeast(1 )(X) :- (X) -tuple number: 12 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 14 tuples for atLeast(1 )(X) :- (X) -tuple number: 14 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 18 tuples for atLeast(1 )(X) :- (X) -tuple number: 18 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.01 803 tuples for atLeast(1 )(X) :- (X) -tuple number: 803 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 5 tuples for atLeast(1 )(X) :- (X) -tuple number: 5 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.01 803 tuples for atLeast(1 )(X) :- (X) -tuple number: 803 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 23 tuples for atLeast(1 )(X) :- (X) -tuple number: 23 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 7 tuples for atLeast(1 )(X) :- (X) -tuple number: 7 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.01 86 tuples for atLeast(1 )(X) :- (X) -tuple number: 86 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 65 tuples for atLeast(1 )(X) :- (X) -tuple number: 65 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.01 10 tuples for atLeast(1 )(X) :- (X) -tuple number: 10 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 467 tuples for atLeast(1 )(X) :- (X) -tuple number: 467 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.01 803 tuples for atLeast(1 )(X) :- (X) -tuple number: 803 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.01 672 tuples for atLeast(1 )(X) :- (X) -tuple number: 672 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 25 tuples for atLeast(1 )(X) :- (X) -tuple number: 25 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 108 tuples for atLeast(1 )(X) :- (X) -tuple number: 108 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 8 tuples for atLeast(1 )(X) :- (X) -tuple number: 8 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.01 116 tuples for atLeast(1 )(X) :- (X) -tuple number: 116 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 177 tuples for atLeast(1 )(X) :- (X) -tuple number: 177 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 17 tuples for atLeast(1 )(X) :- (X) -tuple number: 17 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 10 tuples for atLeast(1 )(X) :- (X) -tuple number: 10 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 29 tuples for atLeast(1 )(X) :- (X) -tuple number: 29 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.01 803 tuples for atLeast(1 )(X) :- (X) -tuple number: 803 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.01 176 tuples for atLeast(1 )(X) :- (X) -tuple number: 176 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.01 803 tuples for atLeast(1 )(X) :- (X) -tuple number: 803 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 342 tuples for atLeast(1 )(X) :- (X) -tuple number: 342 before: 110706 after: 110706 (0 new) . -Time to make the constraint being satisfied: 0.0 4 tuples for atLeast(1 )(X) :- (X) -tuple number: 4 before: 110706 after: 110706 (0 new) . -tracking store after adding facts for violations: 110706 (0 new) -Time to add triples for violations: 0.17 -Iteration 2: -current store after materialising upper related rules: 152802 (42096 new) -current store finished the materialisation of upper related rules in 0.271 seconds. -gap query evaluted ... -current store before importing gap tuples: 152802 -There are 26178 tuples in the gap between lower and upper bound materialisation. -current store after importing gap tuples: 178980 (26178). -current store finished importing gap tuples: 178980 in 0.1. -tracking store after materialising datalog-rules: 178980 (68274 new) -Time to materialise datalog-rules: 0.381 -Time to detect violations: 1.153 -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.01 169 tuples for atLeast(1 )(X) :- (X) -tuple number: 169 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 5 tuples for atLeast(1 )(X) :- (X) -tuple number: 5 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 4 tuples for atLeast(1 )(X) :- (X) -tuple number: 4 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 17 tuples for atLeast(1 )(X) :- (X) -tuple number: 17 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 314 tuples for atLeast(1 )(X) :- (X) -tuple number: 314 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 4 tuples for atLeast(1 )(X) :- (X) -tuple number: 4 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 8 tuples for atLeast(1 )(X) :- (X) -tuple number: 8 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 4 tuples for atLeast(1 )(X) :- (X) -tuple number: 4 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 16 tuples for atLeast(1 )(X) :- (X) -tuple number: 16 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 9 tuples for atLeast(1 )(X) :- (X) -tuple number: 9 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 15 tuples for atLeast(1 )(X) :- (X) -tuple number: 15 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.01 9 tuples for atLeast(1 )(X) :- (X) -tuple number: 9 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 803 tuples for atLeast(1 )(X) :- (X) -tuple number: 803 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 24 tuples for atLeast(1 )(X) :- (X) -tuple number: 24 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 9 tuples for atLeast(1 )(X) :- (X) -tuple number: 9 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.01 342 tuples for atLeast(1 )(X) :- (X) -tuple number: 342 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 8 tuples for atLeast(1 )(X) :- (X) -tuple number: 8 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.01 7 tuples for atLeast(1 )(X) :- (X) -tuple number: 7 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 178980 after: 178980 (0 new) . -tracking store after adding facts for violations: 178980 (0 new) -Time to add triples for violations: 0.24 -Iteration 3: -current store after materialising upper related rules: 222832 (43852 new) -current store finished the materialisation of upper related rules in 0.448 seconds. -gap query evaluted ... -current store before importing gap tuples: 222832 -There are 40100 tuples in the gap between lower and upper bound materialisation. -current store after importing gap tuples: 262932 (40100). -current store finished importing gap tuples: 262932 in 0.11. -tracking store after materialising datalog-rules: 262932 (83952 new) -Time to materialise datalog-rules: 0.578 -Time to detect violations: 0.39 -Time to make the constraint being satisfied: 0.0 7 tuples for atLeast(1 )(X) :- (X) -tuple number: 7 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.01 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.01 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.01 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 5 tuples for atLeast(1 )(X) :- (X) -tuple number: 5 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.01 19 tuples for atLeast(1 )(X) :- (X) -tuple number: 19 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 33 tuples for atLeast(1 )(X) :- (X) -tuple number: 33 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 10 tuples for atLeast(1 )(X) :- (X) -tuple number: 10 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 7 tuples for atLeast(1 )(X) :- (X) -tuple number: 7 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 6 tuples for atLeast(1 )(X) :- (X) -tuple number: 6 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 11 tuples for atLeast(1 )(X) :- (X) -tuple number: 11 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 6 tuples for atLeast(1 )(X) :- (X) -tuple number: 6 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 19 tuples for atLeast(1 )(X) :- (X) -tuple number: 19 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 19 tuples for atLeast(1 )(X) :- (X) -tuple number: 19 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 19 tuples for atLeast(1 )(X) :- (X) -tuple number: 19 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 6 tuples for atLeast(1 )(X) :- (X) -tuple number: 6 before: 262932 after: 262932 (0 new) . -Time to make the constraint being satisfied: 0.0 6 tuples for atLeast(1 )(X) :- (X) -tuple number: 6 before: 262932 after: 262932 (0 new) . -tracking store after adding facts for violations: 262932 (0 new) -Time to add triples for violations: 0.23 -Iteration 4: -current store after materialising upper related rules: 301313 (38381 new) -current store finished the materialisation of upper related rules in 0.558 seconds. -gap query evaluted ... -current store before importing gap tuples: 301313 -There are 37867 tuples in the gap between lower and upper bound materialisation. -current store after importing gap tuples: 339180 (37867). -current store finished importing gap tuples: 339180 in 0.1. -tracking store after materialising datalog-rules: 339180 (76248 new) -Time to materialise datalog-rules: 0.678 -Time to detect violations: 0.35 -Time to make the constraint being satisfied: 0.0 4 tuples for atLeast(1 )(X) :- (X) -tuple number: 4 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 4 tuples for atLeast(1 )(X) :- (X) -tuple number: 4 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.01 5 tuples for atLeast(1 )(X) :- (X) -tuple number: 5 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 7 tuples for atLeast(1 )(X) :- (X) -tuple number: 7 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.01 5 tuples for atLeast(1 )(X) :- (X) -tuple number: 5 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 5 tuples for atLeast(1 )(X) :- (X) -tuple number: 5 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 5 tuples for atLeast(1 )(X) :- (X) -tuple number: 5 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 339180 after: 339180 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 339180 after: 339180 (0 new) . -tracking store after adding facts for violations: 339180 (0 new) -Time to add triples for violations: 0.21 -Iteration 5: -current store after materialising upper related rules: 416454 (77274 new) -current store finished the materialisation of upper related rules in 1.649 seconds. -gap query evaluted ... -current store before importing gap tuples: 416454 -There are 77042 tuples in the gap between lower and upper bound materialisation. -current store after importing gap tuples: 493496 (77042). -current store finished importing gap tuples: 493496 in 0.2. -tracking store after materialising datalog-rules: 493496 (154316 new) -Time to materialise datalog-rules: 1.859 -Time to detect violations: 1.483 -Time to make the constraint being satisfied: 0.0 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.01 4 tuples for atLeast(1 )(X) :- (X) -tuple number: 4 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 4 tuples for atLeast(1 )(X) :- (X) -tuple number: 4 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 493496 after: 493496 (0 new) . -tracking store after adding facts for violations: 493496 (0 new) -Time to add triples for violations: 0.28 -Iteration 6: -current store after materialising upper related rules: 505890 (12394 new) -current store finished the materialisation of upper related rules in 0.507 seconds. -gap query evaluted ... -current store before importing gap tuples: 505890 -There are 12224 tuples in the gap between lower and upper bound materialisation. -current store after importing gap tuples: 518114 (12224). -current store finished importing gap tuples: 518114 in 0.04. -tracking store after materialising datalog-rules: 518114 (24618 new) -Time to materialise datalog-rules: 0.557 -Time to detect violations: 0.36 -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 518114 after: 518114 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 518114 after: 518114 (0 new) . -tracking store after adding facts for violations: 518114 (0 new) -Time to add triples for violations: 0.26 -Iteration 7: -current store after materialising upper related rules: 519699 (1585 new) -current store finished the materialisation of upper related rules in 0.082 seconds. -gap query evaluted ... -current store before importing gap tuples: 519699 -There are 1397 tuples in the gap between lower and upper bound materialisation. -current store after importing gap tuples: 521096 (1397). -current store finished importing gap tuples: 521096 in 0.01. -tracking store after materialising datalog-rules: 521096 (2982 new) -Time to materialise datalog-rules: 0.112 -Time to detect violations: 0.477 -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 12 tuples for atLeast(1 )(X) :- (X) -tuple number: 12 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.01 12 tuples for atLeast(1 )(X) :- (X) -tuple number: 12 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 12 tuples for atLeast(1 )(X) :- (X) -tuple number: 12 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 521096 after: 521096 (0 new) . -tracking store after adding facts for violations: 521096 (0 new) -Time to add triples for violations: 0.54 -Iteration 8: -current store after materialising upper related rules: 523003 (1907 new) -current store finished the materialisation of upper related rules in 0.125 seconds. -gap query evaluted ... -current store before importing gap tuples: 523003 -There are 1617 tuples in the gap between lower and upper bound materialisation. -current store after importing gap tuples: 524620 (1617). -current store finished importing gap tuples: 524620 in 0.01. -tracking store after materialising datalog-rules: 524620 (3524 new) -Time to materialise datalog-rules: 0.155 -Time to detect violations: 0.4 -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 4 tuples for atLeast(1 )(X) :- (X) -tuple number: 4 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 12 tuples for atLeast(1 )(X) :- (X) -tuple number: 12 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 4 tuples for atLeast(1 )(X) :- (X) -tuple number: 4 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 4 tuples for atLeast(1 )(X) :- (X) -tuple number: 4 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.01 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 5 tuples for atLeast(1 )(X) :- (X) -tuple number: 5 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 20 tuples for atLeast(1 )(X) :- (X) -tuple number: 20 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 524620 after: 524620 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 524620 after: 524620 (0 new) . -tracking store after adding facts for violations: 524620 (0 new) -Time to add triples for violations: 0.4 -Iteration 9: -current store after materialising upper related rules: 527324 (2704 new) -current store finished the materialisation of upper related rules in 0.21 seconds. -gap query evaluted ... -current store before importing gap tuples: 527324 -There are 2386 tuples in the gap between lower and upper bound materialisation. -current store after importing gap tuples: 529710 (2386). -current store finished importing gap tuples: 529710 in 0.02. -tracking store after materialising datalog-rules: 529710 (5090 new) -Time to materialise datalog-rules: 0.24 -Time to detect violations: 0.517 -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 4 tuples for atLeast(1 )(X) :- (X) -tuple number: 4 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 9 tuples for atLeast(1 )(X) :- (X) -tuple number: 9 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 4 tuples for atLeast(1 )(X) :- (X) -tuple number: 4 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 4 tuples for atLeast(1 )(X) :- (X) -tuple number: 4 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 4 tuples for atLeast(1 )(X) :- (X) -tuple number: 4 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 9 tuples for atLeast(1 )(X) :- (X) -tuple number: 9 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 4 tuples for atLeast(1 )(X) :- (X) -tuple number: 4 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 14 tuples for atLeast(1 )(X) :- (X) -tuple number: 14 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 14 tuples for atLeast(1 )(X) :- (X) -tuple number: 14 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 529710 after: 529710 (0 new) . -tracking store after adding facts for violations: 529710 (0 new) -Time to add triples for violations: 0.71 -Iteration 10: -current store after materialising upper related rules: 532720 (3010 new) -current store finished the materialisation of upper related rules in 0.266 seconds. -gap query evaluted ... -current store before importing gap tuples: 532720 -There are 2646 tuples in the gap between lower and upper bound materialisation. -current store after importing gap tuples: 535366 (2646). -current store finished importing gap tuples: 535366 in 0.01. -tracking store after materialising datalog-rules: 535366 (5656 new) -Time to materialise datalog-rules: 0.296 -Time to detect violations: 0.42 -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 5 tuples for atLeast(1 )(X) :- (X) -tuple number: 5 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 5 tuples for atLeast(1 )(X) :- (X) -tuple number: 5 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 5 tuples for atLeast(1 )(X) :- (X) -tuple number: 5 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 8 tuples for atLeast(1 )(X) :- (X) -tuple number: 8 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 4 tuples for atLeast(1 )(X) :- (X) -tuple number: 4 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.0 4 tuples for atLeast(1 )(X) :- (X) -tuple number: 4 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 5 tuples for atLeast(1 )(X) :- (X) -tuple number: 5 before: 535366 after: 535366 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 535366 after: 535366 (0 new) . -tracking store after adding facts for violations: 535366 (0 new) -Time to add triples for violations: 0.485 -Iteration 11: -current store after materialising upper related rules: 541482 (6116 new) -current store finished the materialisation of upper related rules in 0.815 seconds. -gap query evaluted ... -current store before importing gap tuples: 541482 -There are 5872 tuples in the gap between lower and upper bound materialisation. -current store after importing gap tuples: 547354 (5872). -current store finished importing gap tuples: 547354 in 0.02. -tracking store after materialising datalog-rules: 547354 (11988 new) -Time to materialise datalog-rules: 0.855 -Time to detect violations: 0.24 -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.01 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.0 6 tuples for atLeast(1 )(X) :- (X) -tuple number: 6 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 547354 after: 547354 (0 new) . -Time to make the constraint being satisfied: 0.01 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 547354 after: 547354 (0 new) . -tracking store after adding facts for violations: 547354 (0 new) -Time to add triples for violations: 0.15 -Iteration 12: -current store after materialising upper related rules: 550579 (3225 new) -current store finished the materialisation of upper related rules in 0.582 seconds. -gap query evaluted ... -current store before importing gap tuples: 550579 -There are 3145 tuples in the gap between lower and upper bound materialisation. -current store after importing gap tuples: 553724 (3145). -current store finished importing gap tuples: 553724 in 0.02. -tracking store after materialising datalog-rules: 553724 (6370 new) -Time to materialise datalog-rules: 0.612 -Time to detect violations: 0.22 -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.01 3 tuples for atLeast(1 )(X) :- (X) -tuple number: 3 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.0 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -Time to make the constraint being satisfied: 0.01 1 tuples for atLeast(1 )(X) :- (X) -tuple number: 1 before: 553724 after: 553724 (0 new) . -tracking store after adding facts for violations: 553724 (0 new) -Time to add triples for violations: 0.26 -Iteration 13: -current store after materialising upper related rules: 554343 (619 new) -current store finished the materialisation of upper related rules in 0.095 seconds. -gap query evaluted ... -current store before importing gap tuples: 554343 -There are 559 tuples in the gap between lower and upper bound materialisation. -current store after importing gap tuples: 554902 (559). -current store finished importing gap tuples: 554902 in 0.01. -tracking store after materialising datalog-rules: 554902 (1178 new) -Time to materialise datalog-rules: 0.125 -Time to detect violations: 0.09 -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 554902 after: 554902 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 554902 after: 554902 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 554902 after: 554902 (0 new) . -Time to make the constraint being satisfied: 0.0 2 tuples for atLeast(1 )(X) :- (X) -tuple number: 2 before: 554902 after: 554902 (0 new) . -tracking store after adding facts for violations: 554902 (0 new) -Time to add triples for violations: 0.05 -Iteration 14: -current store after materialising upper related rules: 555158 (256 new) -current store finished the materialisation of upper related rules in 0.05 seconds. -gap query evaluted ... -current store before importing gap tuples: 555158 -There are 240 tuples in the gap between lower and upper bound materialisation. -current store after importing gap tuples: 555398 (240). -current store finished importing gap tuples: 555398 in 0.01. -tracking store after materialising datalog-rules: 555398 (496 new) -Time to materialise datalog-rules: 0.08 -tracking store after materialising multi-stage upper program: 555398 (444692 new) -tracking store is DONE for multi-stage materialising in 47.481 seconds. -The number of answers in the upper bound: 0 -The ontology and dataset is satisfiable. -time for satisfiability checking: 62.211 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -The number of answers in the upper bound: 0 -There are 0 different bottom fragments. -Preprocessing Done in 69.566 seconds. ----------- start evaluating upper bound for Query 1 ---------- -select ?x ?y where { ?x ?y . } -The number of answers in the upper bound: 8386 -The number of answers for this SemFacet query: 8386 -Total time for this SemFacet query: 0.14 ----------- start evaluating upper bound for Query 2 ---------- -select ?x ?y where { ?x ?y . } -The number of answers in the upper bound: 1359 -The number of answers for this SemFacet query: 1359 -Total time for this SemFacet query: 0.032 ----------- start evaluating upper bound for Query 3 ---------- -select ?x ?y where { ?x ?y . } -The number of answers in the upper bound: 3917 -The number of answers for this SemFacet query: 3917 -Total time for this SemFacet query: 0.04 ----------- start evaluating upper bound for Query 4 ---------- -select ?x ?y where { ?x ?y . } -The number of answers in the upper bound: 1606 -The number of answers for this SemFacet query: 1606 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 5 ---------- -select ?x ?y where { ?x ?y . } -The number of answers in the upper bound: 865 -The number of answers for this SemFacet query: 865 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 6 ---------- -select ?x ?z where { ?x ?z } -The number of answers in the upper bound: 24586 -The number of answers for this SemFacet query: 24586 -Total time for this SemFacet query: 0.15 ----------- start evaluating upper bound for Query 7 ---------- -select ?x ?z where { ?x ?z } -The number of answers in the upper bound: 8386 -The number of answers for this SemFacet query: 8386 -Total time for this SemFacet query: 0.026 ----------- start evaluating upper bound for Query 8 ---------- -SELECT ?x ?z WHERE { ?x ?z } -The number of answers in the upper bound: 6164 -The number of answers for this SemFacet query: 6164 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 9 ---------- -SELECT ?x ?z WHERE { ?x ?z } -The number of answers in the upper bound: 24586 -The number of answers for this SemFacet query: 24586 -Total time for this SemFacet query: 0.07 ----------- start evaluating upper bound for Query 10 ---------- -SELECT DISTINCT ?y WHERE {?x ?y ?z} -The number of answers in the upper bound: 43 -The number of answers for this SemFacet query: 43 -Total time for this SemFacet query: 0.04 ----------- start evaluating upper bound for Query 11 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 11 -The number of answers for this SemFacet query: 11 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 12 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 750 -The number of answers for this SemFacet query: 750 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 13 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 2801 -The number of answers for this SemFacet query: 2801 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 14 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 310 -The number of answers for this SemFacet query: 310 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 15 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 16 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 17 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 18 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 19 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 20 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 21 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 22 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 803 -The number of answers for this SemFacet query: 803 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 23 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 7555 -The number of answers for this SemFacet query: 7555 -Total time for this SemFacet query: 0.02 ----------- start evaluating upper bound for Query 24 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 12 -The number of answers for this SemFacet query: 12 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 25 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 26 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 11 -The number of answers for this SemFacet query: 11 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 27 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 1318 -The number of answers for this SemFacet query: 1318 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 28 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 5 -The number of answers for this SemFacet query: 5 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 29 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 645 -The number of answers for this SemFacet query: 645 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 30 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 3276 -The number of answers for this SemFacet query: 3276 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 31 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 803 -The number of answers for this SemFacet query: 803 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 32 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 35895 -The number of answers for this SemFacet query: 35895 -Total time for this SemFacet query: 0.08 ----------- start evaluating upper bound for Query 33 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 4 -The number of answers for this SemFacet query: 4 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 34 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 803 -The number of answers for this SemFacet query: 803 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 35 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 36 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 4 -The number of answers for this SemFacet query: 4 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 37 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 38 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 39 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 40 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 41 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 68 -The number of answers for this SemFacet query: 68 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 42 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 803 -The number of answers for this SemFacet query: 803 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 43 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 44 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 8 -The number of answers for this SemFacet query: 8 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 45 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 803 -The number of answers for this SemFacet query: 803 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 46 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 8383 -The number of answers for this SemFacet query: 8383 -Total time for this SemFacet query: 0.02 ----------- start evaluating upper bound for Query 47 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 2012 -The number of answers for this SemFacet query: 2012 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 48 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 97 -The number of answers for this SemFacet query: 97 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 49 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 50 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 48 -The number of answers for this SemFacet query: 48 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 51 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 225 -The number of answers for this SemFacet query: 225 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 52 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 803 -The number of answers for this SemFacet query: 803 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 53 ---------- -SELECT DISTINCT ?z WHERE {?x ?z} -The number of answers in the upper bound: 387 -The number of answers for this SemFacet query: 387 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 54 ---------- -SELECT DISTINCT ?x WHERE {?x ?z} -The number of answers in the upper bound: 1359 -The number of answers for this SemFacet query: 1359 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 55 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 56 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 57 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 58 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 59 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 60 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 61 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 62 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 63 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 64 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 65 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 66 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 67 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 68 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 69 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 70 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 71 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 72 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 73 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 74 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 75 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 76 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 77 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 78 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 79 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 80 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 81 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 82 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 83 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 84 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 85 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 86 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 87 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 88 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 89 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 90 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 91 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 92 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 93 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 94 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 95 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 96 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 97 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 98 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 99 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 100 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 101 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 102 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 103 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 104 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 105 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 106 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 107 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 108 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 2 -The number of answers for this SemFacet query: 2 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 109 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 110 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 111 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 112 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 113 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 114 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 115 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 116 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 117 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 118 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 119 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 120 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 121 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 122 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 123 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 124 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 125 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 126 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 127 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 128 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 129 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 130 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 131 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 132 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 133 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 134 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 135 ---------- -select ?x where { ?x . } -The number of answers in the upper bound: 803 -The number of answers for this SemFacet query: 803 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 54 ---------- -SELECT DISTINCT ?x WHERE {?x ?z} -The number of answers in the upper bound: 1359 -The number of answers for this SemFacet query: 1359 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 103 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 104 ---------- -SELECT ?z WHERE { ?z } -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 105 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 106 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 107 ---------- -SELECT ?z WHERE { ?z } -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 108 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 2 -The number of answers for this SemFacet query: 2 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 109 ---------- -SELECT ?z WHERE { ?z } -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 110 ---------- -SELECT ?z WHERE { ?z } -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 136 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 137 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 138 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 139 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 140 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 141 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 2 -The number of answers for this SemFacet query: 2 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 142 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 143 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 144 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 145 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 146 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 147 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 148 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 149 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 2 -The number of answers for this SemFacet query: 2 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 150 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 151 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 152 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 153 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 154 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 155 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 156 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.01 ----------- start evaluating upper bound for Query 157 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 2 -The number of answers for this SemFacet query: 2 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 158 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 159 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 160 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 161 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 162 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 163 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 164 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 165 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 2 -The number of answers for this SemFacet query: 2 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 166 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 167 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 168 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 169 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 170 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 171 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 1 -The number of answers for this SemFacet query: 1 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 172 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 173 ---------- -SELECT ?z WHERE { ?z } -The number of answers in the upper bound: 2 -The number of answers for this SemFacet query: 2 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 6 ---------- -select ?x ?z where { ?x ?z } -The number of answers in the upper bound: 24586 -The number of answers for this SemFacet query: 24586 -Total time for this SemFacet query: 0.07 ----------- start evaluating upper bound for Query 174 ---------- -select distinct ?y where { ?x ?y ?z } -The number of answers in the upper bound: 43 -The number of answers for this SemFacet query: 43 -Total time for this SemFacet query: 0.02 ----------- start evaluating upper bound for Query 175 ---------- -select distinct ?z where { ?x ?z } -The number of answers in the upper bound: 387 -The number of answers for this SemFacet query: 387 -Total time for this SemFacet query: 0.0 ----------- start evaluating upper bound for Query 176 ---------- -select ?y ?z where { ?y ?z .} -The number of answers in the upper bound: 0 -The number of answers for this SemFacet query: 0 -Total time for this SemFacet query: 0.0 -- cgit v1.2.3