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