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