From: Kim Nguyễn Date: Fri, 26 Apr 2013 14:55:55 +0000 (+0200) Subject: Remove the 'round' counter from the hashconsed configurations. X-Git-Tag: v0.1~82 X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=e3474bb976d161aa5c42f3d42583bbe290bbfcc4 Remove the 'round' counter from the hashconsed configurations. --- diff --git a/src/ata.ml b/src/ata.ml index 19eb75d..f4cd6db 100644 --- a/src/ata.ml +++ b/src/ata.ml @@ -14,7 +14,7 @@ (***********************************************************************) (* - Time-stamp: + Time-stamp: *) INCLUDE "utils.ml" @@ -199,9 +199,6 @@ type config = { unsat : StateSet.t; todo : TransList.t; summary : node_summary; - (** optimization infos, - not taken into account during hashconsing *) - mutable round : int; } module Config = Hcons.Make(struct @@ -238,12 +235,12 @@ let dummy2 = TransList.cons -let dummy_config = Config.make { sat = StateSet.empty; - unsat = StateSet.empty; - todo = TransList.nil; - summary = dummy_summary; - round = 0; - } +let dummy_config = + Config.make { sat = StateSet.empty; + unsat = StateSet.empty; + todo = TransList.nil; + summary = dummy_summary + } let create s ss = diff --git a/src/ata.mli b/src/ata.mli index a0778a1..8de0c58 100644 --- a/src/ata.mli +++ b/src/ata.mli @@ -14,7 +14,7 @@ (***********************************************************************) (* - Time-stamp: + Time-stamp: *) type predicate = @@ -74,11 +74,10 @@ type config = { unsat : StateSet.t; todo : TransList.t; summary : node_summary; - mutable round : int; } module Config : Hcons.S with type data = config - +val dummy_config : Config.t type t = private { id : Uid.t; diff --git a/src/eval.ml b/src/eval.ml index 575ee09..c6d4326 100644 --- a/src/eval.ml +++ b/src/eval.ml @@ -14,7 +14,7 @@ (***********************************************************************) (* - Time-stamp: + Time-stamp: *) INCLUDE "utils.ml" @@ -36,43 +36,49 @@ END let html tree node i config msg = let config = config.Ata.Config.node in - let oldi = config.Ata.round in - Html.trace (T.preorder tree node) i oldi + Html.trace (T.preorder tree node) i "node: %i
%s
sat: %a
unsat: %a
todo: %around: %i
" - ((T.preorder tree node):>int) + (T.preorder tree node) msg StateSet.print config.Ata.sat StateSet.print config.Ata.unsat - (Ata.TransList.print ~sep:"
") config.Ata.todo oldi + (Ata.TransList.print ~sep:"
") config.Ata.todo i - let get c t n = Cache.N1.find c (T.preorder t n) - let set c t n v i = - v.Ata.Config.node.Ata.round <- i; - Cache.N1.add c (T.preorder t n) v - - - type run = { config : Ata.Config.t Cache.N1.t; + type run = { config : Ata.Config.t array; unstable : Bitvector.t; mutable redo : bool; mutable pass : int; } + let top_down_run auto tree node run = + let module Array = + struct + include Array + let get a i = + if i < 0 then Ata.dummy_config else get a i + let unsafe_get a i = + if i < 0 then Ata.dummy_config else unsafe_get a i + end + in let cache = run.config in let unstable = run.unstable in let _i = run.pass in let rec loop node = - if node == T.nil then false else begin + let node_id = T.preorder tree node in + if node == T.nil || not (Bitvector.get unstable node_id) then false else begin let parent = T.parent tree node in let fc = T.first_child tree node in + let fc_id = T.preorder tree fc in let ns = T.next_sibling tree node in + let ns_id = T.preorder tree ns in let tag = T.tag tree node in let config0 = - let c = get cache tree node in - if c == Cache.N1.dummy cache then + let c = cache.(node_id) in + if c == Ata.dummy_config then Ata.Config.make { c.Ata.Config.node with Ata.todo = Ata.get_trans auto tag auto.Ata.states; @@ -88,36 +94,39 @@ END TRACE(html tree node _i config0 "Entering node"); - let ps = get cache tree parent in - let fcs = get cache tree fc in - let nss = get cache tree ns in + let ps = cache.(T.preorder tree parent) in + let fcs = cache.(fc_id) in + let nss = cache.(ns_id) in let config1 = Ata.eval_trans auto fcs nss ps config0 in TRACE(html tree node _i config1 "Updating transitions"); - if config0 != config1 then set cache tree node config1 _i; - let old_unstable_left = Bitvector.unsafe_get unstable (T.preorder tree fc) in - let unstable_left = old_unstable_left && loop fc in - let fcs1 = get cache tree fc in + if config0 != config1 then cache.(node_id) <- config1; + let unstable_left = loop fc in + let fcs1 = cache.(fc_id) in let config2 = Ata.eval_trans auto fcs1 nss ps config1 in TRACE(html tree node _i config2 "Updating transitions (after first-child)"); - if config1 != config2 then set cache tree node config2 _i; - let old_unstable_right = Bitvector.unsafe_get unstable (T.preorder tree ns) in - let unstable_right = old_unstable_right && loop ns in - let nss1 = get cache tree ns in + if config1 != config2 then cache.(node_id) <- config2; + let unstable_right = loop ns in + let nss1 = cache.(ns_id) in let config3 = Ata.eval_trans auto fcs1 nss1 ps config2 in TRACE(html tree node _i config3 "Updating transitions (after next-sibling)"); - if config2 != config3 then set cache tree node config3 _i; + if config2 != config3 then cache.(node_id) <- config3; let unstable_self = unstable_left || unstable_right || Ata.(TransList.nil != config3.Config.node.todo) in - Bitvector.unsafe_set unstable (T.preorder tree node) unstable_self; + Bitvector.unsafe_set unstable node_id unstable_self; + TRACE((if not unstable_self then + Html.finalize_node + node_id + _i + Ata.(StateSet.intersect config3.Config.node.sat auto.selection_states))); unstable_self end in @@ -130,9 +139,10 @@ END let acc0 = loop (T.next_sibling tree node) acc in let acc1 = loop (T.first_child tree node) acc0 in - if StateSet.intersect - (get cache tree node).Ata.Config.node.Ata.sat - auto.Ata.selection_states then node::acc1 + if Ata.( + StateSet.intersect + cache.(T.preorder tree node).Config.node.sat + auto.selection_states) then node::acc1 else acc1 in loop node [] @@ -152,14 +162,9 @@ END let eval auto tree node = - let run = { config = Cache.N1.create - Ata.(Config.make { sat = StateSet.empty; - unsat = StateSet.empty; - todo = TransList.nil; - summary = dummy_summary; - round = ~-1 - }); - unstable = Bitvector.create ~init:true (T.size tree); + let len = T.size tree in + let run = { config = Array.create len Ata.dummy_config; + unstable = Bitvector.create ~init:true len; redo = true; pass = 0 } diff --git a/src/html.ml b/src/html.ml index 4119f23..c7990b3 100644 --- a/src/html.ml +++ b/src/html.ml @@ -2,30 +2,33 @@ open Format module M = Map.Make(struct type t = int let compare = compare end) let info = Hashtbl.create 2017 +let final = Hashtbl.create 2017 -let max_round = ref ~-1 +let max_round = ref 0 -let add_info (nodeid:int) (i:int) (oldi: int) s = +let add_info (nodeid:int) (i:int) s = if i > !max_round then max_round := i; - if i <= oldi || oldi < 0 then begin - let m = try Hashtbl.find info nodeid with Not_found -> M.empty in - let old_s = try M.find i m with Not_found -> "" in - let s' = old_s ^ s in - let m' = M.add i s' m in - Hashtbl.replace info nodeid m' - end + let m = try Hashtbl.find info nodeid with Not_found -> M.empty in + let old_s = try M.find i m with Not_found -> "" in + let s' = old_s ^ s in + let m' = M.add i s' m in + Hashtbl.replace info nodeid m' + let buff = Buffer.create 20 let fmt = formatter_of_buffer buff -let trace nodeid i oldi = +let trace nodeid i = let () = pp_print_flush fmt (); Buffer.clear buff in kfprintf (fun fmt -> pp_print_flush fmt (); let s = Buffer.contents buff in - add_info nodeid i oldi s) fmt + add_info nodeid i s) fmt + +let finalize_node n r b = + Hashtbl.replace final n (b,r) let gen_trace (type s) = (); fun t tree -> @@ -37,11 +40,18 @@ let gen_trace (type s) = (); fun t tree -> Hashtbl.find info (T.preorder tree node) with Not_found -> M.empty in - let last_round = try fst (M.max_binding m) with Not_found -> 0 in - let s_node = "node" ^ (string_of_int (T.preorder tree node)) in - fprintf odot "%s[ id=\"%s\" label=\"%s\" style=filled fillcolor=\"%f,1.0,1.0\"];\n" - s_node s_node (QName.to_string (T.tag tree node)) - (0.2 *. (1.0 -. (float last_round /. float !max_round))) ; + let node_id = T.preorder tree node in + let marked, last_round = try Hashtbl.find final node_id with Not_found -> + Printf.eprintf ">>> %i\n%!" node_id; false, !max_round; + in + let s_node = "node" ^ (string_of_int node_id) in + fprintf odot "%s[ id=\"%s\" label=\"%s\" style=filled fillcolor=\"%f,1.0,1.0\"\ +shape=\"%s\" ];\n" + s_node + s_node + (QName.to_string (T.tag tree node)) + (1.0 -. (float (last_round+1) /. float (!max_round+1))) + (if marked then "oval" else "box") ; fprintf ohtml "data['%s'] = new Array();\n" s_node; M.iter (fun i s -> fprintf ohtml "data['%s'][%i] = '%s';\n" s_node i s) diff --git a/src/html.mli b/src/html.mli index a1506c9..91dacaf 100644 --- a/src/html.mli +++ b/src/html.mli @@ -1,2 +1,3 @@ -val trace : int -> int -> int -> ('a, Format.formatter, unit, unit) format4 -> 'a +val trace : int -> int -> ('a, Format.formatter, unit, unit) format4 -> 'a +val finalize_node : int -> int -> bool -> unit val gen_trace : (module Tree.S with type t = 'a) -> 'a -> unit diff --git a/tests/alphabet.xml.summary b/tests/alphabet.xml.summary deleted file mode 100644 index f579698..0000000 --- a/tests/alphabet.xml.summary +++ /dev/null @@ -1,563 +0,0 @@ -Query: A1 : //L/* -STATS: parsing xml document: 0.378132ms -STATS: parsing XPath query: 0.042200ms -STATS: compiling XPath query: 0.200033ms -STATS: Query: /descendant-or-self::node()/child::L/child::* -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 2.099991ms -STATS: serializing results: 1.550913ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 809 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 933, used: 124, occupation: 0.132905 -Diff: ok -------------------------------------------- -Query: A2 : //L/parent::* -STATS: parsing xml document: 0.357151ms -STATS: parsing XPath query: 0.052929ms -STATS: compiling XPath query: 0.162125ms -STATS: Query: /descendant-or-self::node()/child::L/parent::* -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 2.071857ms -STATS: serializing results: 1.896143ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 1310 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 1464, used: 154, occupation: 0.105191 -Diff: ok -------------------------------------------- -Query: A3 : //L/descendant::* -STATS: parsing xml document: 0.369072ms -STATS: parsing XPath query: 0.044823ms -STATS: compiling XPath query: 0.216961ms -STATS: Query: /descendant-or-self::node()/child::L/descendant::* -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 2.236843ms -STATS: serializing results: 1.821041ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 918 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 1060, used: 142, occupation: 0.133962 -Diff: ok -------------------------------------------- -Query: A4 : //L/descendant-or-self::* -STATS: parsing xml document: 0.360012ms -STATS: parsing XPath query: 0.048876ms -STATS: compiling XPath query: 0.190020ms -STATS: Query: /descendant-or-self::node()/child::L/descendant-or-self::* -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 2.301931ms -STATS: serializing results: 1.735926ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 918 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 1060, used: 142, occupation: 0.133962 -Diff: ok -------------------------------------------- -Query: A5 : //L/ancestor::* -STATS: parsing xml document: 0.365973ms -STATS: parsing XPath query: 0.046968ms -STATS: compiling XPath query: 0.174046ms -STATS: Query: /descendant-or-self::node()/child::L/ancestor::* -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 2.151966ms -STATS: serializing results: 2.042055ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 1320 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 1476, used: 156, occupation: 0.105691 -Diff: ok -------------------------------------------- -Query: A6 : //L/ancestor-or-self::* -STATS: parsing xml document: 0.365973ms -STATS: parsing XPath query: 0.045061ms -STATS: compiling XPath query: 0.201941ms -STATS: Query: /descendant-or-self::node()/child::L/ancestor-or-self::* -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 2.483130ms -STATS: serializing results: 2.204895ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 1242 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 1397, used: 155, occupation: 0.110952 -Diff: ok -------------------------------------------- -Query: A7 : //L/following-sibling::* -STATS: parsing xml document: 0.365019ms -STATS: parsing XPath query: 0.051975ms -STATS: compiling XPath query: 0.164032ms -STATS: Query: /descendant-or-self::node()/child::L/following-sibling::* -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 1.899004ms -STATS: serializing results: 1.600981ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 1051 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 1173, used: 122, occupation: 0.104007 -Diff: ok -------------------------------------------- -Query: A8 : //L/preceding-sibling::* -STATS: parsing xml document: 0.366926ms -STATS: parsing XPath query: 0.055075ms -STATS: compiling XPath query: 0.163078ms -STATS: Query: /descendant-or-self::node()/child::L/preceding-sibling::* -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 2.027035ms -STATS: serializing results: 1.585960ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 1174 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 1314, used: 140, occupation: 0.106545 -Diff: ok -------------------------------------------- -Query: A9 : //L/following::* -STATS: parsing xml document: 0.361919ms -STATS: parsing XPath query: 0.051022ms -STATS: compiling XPath query: 0.282049ms -STATS: Query: /descendant-or-self::node()/child::L/ancestor-or-self::node()/following-sibling::node()/descendant-or-self::* -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 6.561041ms -STATS: serializing results: 1.834869ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 2104 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 2334, used: 230, occupation: 0.098543 -Diff: ok -------------------------------------------- -Query: A10 : //L/preceding::* -STATS: parsing xml document: 0.365973ms -STATS: parsing XPath query: 0.056982ms -STATS: compiling XPath query: 0.277996ms -STATS: Query: /descendant-or-self::node()/child::L/ancestor-or-self::node()/preceding-sibling::node()/descendant-or-self::* -STATS: Automaton: -STATS: 7 nodes over 129 were skipped in iteration 0 (5.43 %), redo is: true -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 8.136034ms -STATS: serializing results: 2.127886ms -STATS: 129 nodes over 129 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 942 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 1077, used: 135, occupation: 0.125348 -Diff: ok -------------------------------------------- -Query: A11 : //L/self::* -STATS: parsing xml document: 0.369787ms -STATS: parsing XPath query: 0.046968ms -STATS: compiling XPath query: 0.160933ms -STATS: Query: /descendant-or-self::node()/child::L/self::* -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 1.785040ms -STATS: serializing results: 1.600981ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 837 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 946, used: 109, occupation: 0.115222 -Diff: ok -------------------------------------------- -Query: A12 : //L/@id/parent::* -STATS: parsing xml document: 0.363111ms -STATS: parsing XPath query: 0.061035ms -STATS: compiling XPath query: 0.235796ms -STATS: Query: /descendant-or-self::node()/child::L/attribute::@id/parent::* -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 3.045082ms -STATS: serializing results: 1.613855ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 1594 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 1750, used: 156, occupation: 0.089143 -Diff: ok -------------------------------------------- -Query: P1 : //*[L] -STATS: parsing xml document: 0.360966ms -STATS: parsing XPath query: 0.049114ms -STATS: compiling XPath query: 0.162125ms -STATS: Query: /descendant-or-self::node()/child::*[ child::L ] -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 1.814127ms -STATS: serializing results: 1.966953ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 1326 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 1480, used: 154, occupation: 0.104054 -Diff: ok -------------------------------------------- -Query: P2 : //*[parent::L] -STATS: parsing xml document: 0.390053ms -STATS: parsing XPath query: 0.052929ms -STATS: compiling XPath query: 0.167131ms -STATS: Query: /descendant-or-self::node()/child::*[ parent::L ] -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 1.857996ms -STATS: serializing results: 2.467155ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 809 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 933, used: 124, occupation: 0.132905 -Diff: ok -------------------------------------------- -Query: P3 : //*[descendant::L] -STATS: parsing xml document: 0.428915ms -STATS: parsing XPath query: 0.049114ms -STATS: compiling XPath query: 0.166178ms -STATS: Query: /descendant-or-self::node()/child::*[ descendant::L ] -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 2.492189ms -STATS: serializing results: 2.094984ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 1336 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 1492, used: 156, occupation: 0.104558 -Diff: ok -------------------------------------------- -Query: P4 : //*[descendant-or-self::L] -STATS: parsing xml document: 0.363111ms -STATS: parsing XPath query: 0.050068ms -STATS: compiling XPath query: 0.177860ms -STATS: Query: /descendant-or-self::node()/child::*[ descendant-or-self::L ] -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 2.146959ms -STATS: serializing results: 2.099037ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 1242 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 1397, used: 155, occupation: 0.110952 -Diff: ok -------------------------------------------- -Query: P5 : //*[ancestor::L] -STATS: parsing xml document: 0.357151ms -STATS: parsing XPath query: 0.049114ms -STATS: compiling XPath query: 0.241995ms -STATS: Query: /descendant-or-self::node()/child::*[ ancestor::L ] -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 1.984835ms -STATS: serializing results: 1.695156ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 918 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 1060, used: 142, occupation: 0.133962 -Diff: ok -------------------------------------------- -Query: P6 : //*[ancestor-or-self::L] -STATS: parsing xml document: 0.168085ms -STATS: parsing XPath query: 0.026941ms -STATS: compiling XPath query: 0.084162ms -STATS: Query: /descendant-or-self::node()/child::*[ ancestor-or-self::L ] -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 1.060963ms -STATS: serializing results: 1.700878ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 918 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 1060, used: 142, occupation: 0.133962 -Diff: ok -------------------------------------------- -Query: P7 : //*[following-sibling::L] -STATS: parsing xml document: 0.364065ms -STATS: parsing XPath query: 0.046968ms -STATS: compiling XPath query: 0.156879ms -STATS: Query: /descendant-or-self::node()/child::*[ following-sibling::L ] -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 1.662016ms -STATS: serializing results: 1.580000ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 1174 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 1314, used: 140, occupation: 0.106545 -Diff: ok -------------------------------------------- -Query: P8 : //*[preceding-sibling::L] -STATS: parsing xml document: 0.401974ms -STATS: parsing XPath query: 0.056982ms -STATS: compiling XPath query: 0.160933ms -STATS: Query: /descendant-or-self::node()/child::*[ preceding-sibling::L ] -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 1.548767ms -STATS: serializing results: 1.600027ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 1051 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 1173, used: 122, occupation: 0.104007 -Diff: ok -------------------------------------------- -Query: P9 : //*[following::L] -STATS: parsing xml document: 0.368118ms -STATS: parsing XPath query: 0.047922ms -STATS: compiling XPath query: 0.231981ms -STATS: Query: /descendant-or-self::node()/child::*[ ancestor-or-self::node()/following-sibling::node()/descendant-or-self::L ] -STATS: Automaton: -STATS: 7 nodes over 129 were skipped in iteration 0 (5.43 %), redo is: true -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 6.533861ms -STATS: serializing results: 1.817942ms -STATS: 129 nodes over 129 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 780 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 915, used: 135, occupation: 0.147541 -Diff: ok -------------------------------------------- -Query: P10 : //*[preceding::L] -STATS: parsing xml document: 0.369072ms -STATS: parsing XPath query: 0.057936ms -STATS: compiling XPath query: 0.245810ms -STATS: Query: /descendant-or-self::node()/child::*[ ancestor-or-self::node()/preceding-sibling::node()/descendant-or-self::L ] -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 3.724098ms -STATS: serializing results: 1.777172ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 1767 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 1980, used: 213, occupation: 0.107576 -Diff: ok -------------------------------------------- -Query: P11 : //*[self::L] -STATS: parsing xml document: 0.367880ms -STATS: parsing XPath query: 0.048161ms -STATS: compiling XPath query: 0.149965ms -STATS: Query: /descendant-or-self::node()/child::*[ self::L ] -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 1.435041ms -STATS: serializing results: 1.670837ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 837 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 946, used: 109, occupation: 0.115222 -Diff: ok -------------------------------------------- -Query: P12 : //*[@id] -STATS: parsing xml document: 0.365019ms -STATS: parsing XPath query: 0.042915ms -STATS: compiling XPath query: 0.182867ms -STATS: Query: /descendant-or-self::node()/child::*[ attribute::@id ] -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 1.521111ms -STATS: serializing results: 2.558947ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 907 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 1022, used: 115, occupation: 0.112524 -Diff: ok -------------------------------------------- -Query: T1 : //L/text() -STATS: parsing xml document: 0.377893ms -STATS: parsing XPath query: 0.059128ms -STATS: compiling XPath query: 0.205994ms -STATS: Query: /descendant-or-self::node()/child::L/child::text() -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 2.229929ms -STATS: serializing results: 1.520872ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 809 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 933, used: 124, occupation: 0.132905 -Diff: ok -------------------------------------------- -Query: T2 : //L/comment() -STATS: parsing xml document: 0.365973ms -STATS: parsing XPath query: 0.068903ms -STATS: compiling XPath query: 0.198841ms -STATS: Query: /descendant-or-self::node()/child::L/child::comment() -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 2.146959ms -STATS: serializing results: 1.429081ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 809 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 933, used: 124, occupation: 0.132905 -Diff: ok -------------------------------------------- -Query: T3 : //L/processing-instruction() -STATS: parsing xml document: 0.365019ms -STATS: parsing XPath query: 0.082016ms -STATS: compiling XPath query: 0.207186ms -STATS: Query: /descendant-or-self::node()/child::L/child::processing-instruction() -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 2.242804ms -STATS: serializing results: 1.472950ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 809 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 933, used: 124, occupation: 0.132905 -Diff: ok -------------------------------------------- -Query: T4 : //L/processing-instruction("myPI") -STATS: parsing xml document: 0.367880ms -STATS: parsing XPath query: 0.077009ms -STATS: compiling XPath query: 0.201941ms -STATS: Query: /descendant-or-self::node()/child::L/child::processing-instruction('?myPI') -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 2.152920ms -STATS: serializing results: 1.482964ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 809 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 933, used: 124, occupation: 0.132905 -Diff: ok -------------------------------------------- -Query: T5 : //L/node() -STATS: parsing xml document: 0.361919ms -STATS: parsing XPath query: 0.064850ms -STATS: compiling XPath query: 0.202179ms -STATS: Query: /descendant-or-self::node()/child::L/child::node() -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 2.159119ms -STATS: serializing results: 1.833200ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 809 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 933, used: 124, occupation: 0.132905 -Diff: ok -------------------------------------------- -Query: T6 : //L/N -STATS: parsing xml document: 0.365973ms -STATS: parsing XPath query: 0.048161ms -STATS: compiling XPath query: 0.202894ms -STATS: Query: /descendant-or-self::node()/child::L/child::N -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 2.237082ms -STATS: serializing results: 1.518011ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 819 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 952, used: 133, occupation: 0.139706 -Diff: ok -------------------------------------------- -Query: T7 : //L/* -STATS: parsing xml document: 0.368834ms -STATS: parsing XPath query: 0.044107ms -STATS: compiling XPath query: 0.208139ms -STATS: Query: /descendant-or-self::node()/child::L/child::* -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 2.174854ms -STATS: serializing results: 1.671076ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 809 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 933, used: 124, occupation: 0.132905 -Diff: ok -------------------------------------------- -Query: O1 : //*[child::* and preceding::Q] -STATS: parsing xml document: 0.364065ms -STATS: parsing XPath query: 0.056982ms -STATS: compiling XPath query: 0.263929ms -STATS: Query: /descendant-or-self::node()/child::*[ child::* and ancestor-or-self::node()/preceding-sibling::node()/descendant-or-self::Q ] -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 5.656004ms -STATS: serializing results: 1.590014ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 1873 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 2090, used: 217, occupation: 0.103828 -Diff: ok -------------------------------------------- -Query: O2 : //*[not(child::*) and preceding::Q] -STATS: parsing xml document: 0.366926ms -STATS: parsing XPath query: 0.066996ms -STATS: compiling XPath query: 0.342131ms -STATS: Query: /descendant-or-self::node()/child::*[ not(child::*) and ancestor-or-self::node()/preceding-sibling::node()/descendant-or-self::Q ] -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 5.630016ms -STATS: serializing results: 1.742125ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 1873 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 2090, used: 217, occupation: 0.103828 -Diff: ok -------------------------------------------- -Query: O3 : //*[preceding::L or following::L] -STATS: parsing xml document: 0.363111ms -STATS: parsing XPath query: 0.063896ms -STATS: compiling XPath query: 0.329971ms -STATS: Query: /descendant-or-self::node()/child::*[ ancestor-or-self::node()/preceding-sibling::node()/descendant-or-self::L or ancestor-or-self::node()/following-sibling::node()/descendant-or-self::L ] -STATS: Automaton: -STATS: 7 nodes over 129 were skipped in iteration 0 (5.43 %), redo is: true -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 10.987997ms -STATS: serializing results: 2.089977ms -STATS: 129 nodes over 129 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 610 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 777, used: 167, occupation: 0.214929 -Diff: ok -------------------------------------------- -Query: O4 : //L/ancestor::* | //L/descendant::* -STATS: parsing xml document: 0.373125ms -STATS: parsing XPath query: 0.052214ms -STATS: compiling XPath query: 0.380039ms -STATS: Query: /descendant-or-self::node()/child::L/ancestor::* | /descendant-or-self::node()/child::L/descendant::* -STATS: Automaton: -STATS: 129 nodes over 129 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 7.322073ms -STATS: serializing results: 2.199173ms -STATS: 129 nodes over 129 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 70 entries, cache6: 2345 entries -STATS: cache2: length: 105, used: 35, occupation: 0.333333 -STATS: cache4: length: 2543, used: 198, occupation: 0.077861 -Diff: ok -------------------------------------------- diff --git a/tests/comments00.xml.summary b/tests/comments00.xml.summary deleted file mode 100644 index b595152..0000000 --- a/tests/comments00.xml.summary +++ /dev/null @@ -1,16 +0,0 @@ -Query: C0 : /descendant::comment() -STATS: parsing xml document: 0.118017ms -STATS: parsing XPath query: 0.057936ms -STATS: compiling XPath query: 0.087023ms -STATS: Query: /descendant::comment() -STATS: Automaton: -STATS: 3 nodes over 3 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 0.128031ms -STATS: serializing results: 1.478910ms -STATS: 3 nodes over 3 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 6 entries, cache6: 18 entries -STATS: cache2: length: 9, used: 3, occupation: 0.333333 -STATS: cache4: length: 27, used: 9, occupation: 0.333333 -Diff: ok -------------------------------------------- diff --git a/tests/xmark_small.xml.summary b/tests/xmark_small.xml.summary deleted file mode 100644 index 955e7ce..0000000 --- a/tests/xmark_small.xml.summary +++ /dev/null @@ -1,359 +0,0 @@ -Query: A1 : /site/closed_auctions/closed_auction/annotation/description/text/keyword -STATS: parsing xml document: 634.769201ms -STATS: parsing XPath query: 0.095844ms -STATS: compiling XPath query: 0.281096ms -STATS: Query: /child::site/child::closed_auctions/child::closed_auction/child::annotation/child::description/child::text/child::keyword -STATS: Automaton: -STATS: 254301 nodes over 254301 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 119.843006ms -STATS: serializing results: 3.608942ms -STATS: 254301 nodes over 254301 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 170 entries, cache6: 3149 entries -STATS: cache2: length: 255, used: 85, occupation: 0.333333 -STATS: cache4: length: 3464, used: 315, occupation: 0.090935 -Diff: ok -------------------------------------------- -Query: A2 : //closed_auction//keyword -STATS: parsing xml document: 191.257000ms -STATS: parsing XPath query: 0.056028ms -STATS: compiling XPath query: 0.144005ms -STATS: Query: /descendant-or-self::node()/child::closed_auction/descendant-or-self::node()/child::keyword -STATS: Automaton: -STATS: 254301 nodes over 254301 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 130.471945ms -STATS: serializing results: 6.496906ms -STATS: 254301 nodes over 254301 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 170 entries, cache6: 2681 entries -STATS: cache2: length: 255, used: 85, occupation: 0.333333 -STATS: cache4: length: 2915, used: 234, occupation: 0.080274 -Diff: ok -------------------------------------------- -Query: A3 : /site/closed_auctions/closed_auction//keyword -STATS: parsing xml document: 189.831018ms -STATS: parsing XPath query: 0.063896ms -STATS: compiling XPath query: 0.157118ms -STATS: Query: /child::site/child::closed_auctions/child::closed_auction/descendant-or-self::node()/child::keyword -STATS: Automaton: -STATS: 254301 nodes over 254301 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 139.882088ms -STATS: serializing results: 6.744862ms -STATS: 254301 nodes over 254301 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 170 entries, cache6: 3277 entries -STATS: cache2: length: 255, used: 85, occupation: 0.333333 -STATS: cache4: length: 3555, used: 278, occupation: 0.078200 -Diff: ok -------------------------------------------- -Query: A4 : /site/closed_auctions/closed_auction[annotation/description/text/keyword]/date -STATS: parsing xml document: 189.064026ms -STATS: parsing XPath query: 0.106096ms -STATS: compiling XPath query: 0.199080ms -STATS: Query: /child::site/child::closed_auctions/child::closed_auction[ child::annotation/child::description/child::text/child::keyword ]/child::date -STATS: Automaton: -STATS: 245034 nodes over 254301 were skipped in iteration 0 (96.36 %), redo is: true -STATS: 254301 nodes over 254301 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 135.497093ms -STATS: serializing results: 2.182007ms -STATS: 254301 nodes over 254301 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 282 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 355, used: 73, occupation: 0.205634 -Diff: ok -------------------------------------------- -Query: A5 : /site/closed_auctions/closed_auction[descendant::keyword]/date -STATS: parsing xml document: 190.711021ms -STATS: parsing XPath query: 0.084162ms -STATS: compiling XPath query: 0.134945ms -STATS: Query: /child::site/child::closed_auctions/child::closed_auction[ descendant::keyword ]/child::date -STATS: Automaton: -STATS: 245034 nodes over 254301 were skipped in iteration 0 (96.36 %), redo is: true -STATS: 254301 nodes over 254301 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 138.205051ms -STATS: serializing results: 2.486944ms -STATS: 254301 nodes over 254301 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 259 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 342, used: 83, occupation: 0.242690 -Diff: ok -------------------------------------------- -Query: A6 : /site/people/person[profile/gender and profile/age]/name -STATS: parsing xml document: 185.791016ms -STATS: parsing XPath query: 0.102043ms -STATS: compiling XPath query: 0.155210ms -STATS: Query: /child::site/child::people/child::person[ child::profile/child::gender and child::profile/child::age ]/child::name -STATS: Automaton: -STATS: 236309 nodes over 254301 were skipped in iteration 0 (92.92 %), redo is: true -STATS: 254301 nodes over 254301 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 149.569035ms -STATS: serializing results: 2.363920ms -STATS: 254301 nodes over 254301 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 1570 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 1719, used: 149, occupation: 0.086678 -Diff: ok -------------------------------------------- -Query: A7 : /site/people/person[phone or homepage]/name -STATS: parsing xml document: 187.725067ms -STATS: parsing XPath query: 0.087023ms -STATS: compiling XPath query: 0.158072ms -STATS: Query: /child::site/child::people/child::person[ child::phone or child::homepage ]/child::name -STATS: Automaton: -STATS: 236309 nodes over 254301 were skipped in iteration 0 (92.92 %), redo is: true -STATS: 254301 nodes over 254301 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 140.325069ms -STATS: serializing results: 4.892111ms -STATS: 254301 nodes over 254301 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 1257 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 1420, used: 163, occupation: 0.114789 -Diff: ok -------------------------------------------- -Query: A8 : /site/people/person[address and (phone or homepage) and (creditcard or profile)]/name -STATS: parsing xml document: 186.979055ms -STATS: parsing XPath query: 0.118971ms -STATS: compiling XPath query: 0.159979ms -STATS: Query: /child::site/child::people/child::person[ child::address and (child::phone or child::homepage) and (child::creditcard or child::profile) ]/child::name -STATS: Automaton: -STATS: 236309 nodes over 254301 were skipped in iteration 0 (92.92 %), redo is: true -STATS: 254301 nodes over 254301 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 150.840998ms -STATS: serializing results: 3.206968ms -STATS: 254301 nodes over 254301 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 7979 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 8812, used: 833, occupation: 0.094530 -Diff: ok -------------------------------------------- -Query: B1 : /site/regions/*/item[parent::namerica or parent::samerica]/name -STATS: parsing xml document: 191.373110ms -STATS: parsing XPath query: 0.096083ms -STATS: compiling XPath query: 0.161171ms -STATS: Query: /child::site/child::regions/child::*/child::item[ parent::namerica or parent::samerica ]/child::name -STATS: Automaton: -STATS: 254301 nodes over 254301 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 119.151115ms -STATS: serializing results: 3.636837ms -STATS: 254301 nodes over 254301 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 170 entries, cache6: 3466 entries -STATS: cache2: length: 255, used: 85, occupation: 0.333333 -STATS: cache4: length: 3760, used: 294, occupation: 0.078191 -Diff: ok -------------------------------------------- -Query: B2 : //keyword/ancestor::listitem/text/keyword -STATS: parsing xml document: 191.718102ms -STATS: parsing XPath query: 0.073195ms -STATS: compiling XPath query: 0.213861ms -STATS: Query: /descendant-or-self::node()/child::keyword/ancestor::listitem/child::text/child::keyword -STATS: Automaton: -STATS: 210583 nodes over 254301 were skipped in iteration 0 (82.81 %), redo is: true -STATS: 254301 nodes over 254301 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 166.561127ms -STATS: serializing results: 13.072968ms -STATS: 254301 nodes over 254301 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 1811 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 2050, used: 239, occupation: 0.116585 -Diff: ok -------------------------------------------- -Query: B3 : /site/open_auctions/open_auction/bidder[following-sibling::bidder] -STATS: parsing xml document: 191.766024ms -STATS: parsing XPath query: 0.077009ms -STATS: compiling XPath query: 0.133991ms -STATS: Query: /child::site/child::open_auctions/child::open_auction/child::bidder[ following-sibling::bidder ] -STATS: Automaton: -STATS: 254301 nodes over 254301 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 130.250931ms -STATS: serializing results: 31.550884ms -STATS: 254301 nodes over 254301 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 170 entries, cache6: 2871 entries -STATS: cache2: length: 255, used: 85, occupation: 0.333333 -STATS: cache4: length: 3131, used: 260, occupation: 0.083041 -Diff: ok -------------------------------------------- -Query: B4 : /site/open_auctions/open_auction/bidder[preceding-sibling::bidder] -STATS: parsing xml document: 189.858913ms -STATS: parsing XPath query: 0.082970ms -STATS: compiling XPath query: 0.122070ms -STATS: Query: /child::site/child::open_auctions/child::open_auction/child::bidder[ preceding-sibling::bidder ] -STATS: Automaton: -STATS: 254301 nodes over 254301 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 117.531061ms -STATS: serializing results: 31.703949ms -STATS: 254301 nodes over 254301 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 170 entries, cache6: 2282 entries -STATS: cache2: length: 255, used: 85, occupation: 0.333333 -STATS: cache4: length: 2507, used: 225, occupation: 0.089749 -Diff: ok -------------------------------------------- -Query: B5 : /site/regions/*/item[following::item]/name -STATS: parsing xml document: 186.423779ms -STATS: parsing XPath query: 0.076056ms -STATS: compiling XPath query: 0.211000ms -STATS: Query: /child::site/child::regions/child::*/child::item[ ancestor-or-self::node()/following-sibling::node()/descendant-or-self::item ]/child::name -STATS: Automaton: -STATS: 1 nodes over 254301 were skipped in iteration 0 (0.00 %), redo is: true -STATS: 254301 nodes over 254301 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 200.829983ms -STATS: serializing results: 5.727053ms -STATS: 254301 nodes over 254301 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 1990 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 2299, used: 309, occupation: 0.134406 -Diff: ok -------------------------------------------- -Query: B6 : /site/regions/*/item[preceding::item]/name -STATS: parsing xml document: 187.946081ms -STATS: parsing XPath query: 0.046968ms -STATS: compiling XPath query: 0.171900ms -STATS: Query: /child::site/child::regions/child::*/child::item[ ancestor-or-self::node()/preceding-sibling::node()/descendant-or-self::item ]/child::name -STATS: Automaton: -STATS: 254301 nodes over 254301 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 140.237093ms -STATS: serializing results: 5.573988ms -STATS: 254301 nodes over 254301 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 170 entries, cache6: 4419 entries -STATS: cache2: length: 255, used: 85, occupation: 0.333333 -STATS: cache4: length: 4800, used: 381, occupation: 0.079375 -Diff: ok -------------------------------------------- -Query: B7 : //person[profile/@income]/name -STATS: parsing xml document: 192.195177ms -STATS: parsing XPath query: 0.074148ms -STATS: compiling XPath query: 0.116110ms -STATS: Query: /descendant-or-self::node()/child::person[ child::profile/attribute::@income ]/child::name -STATS: Automaton: -STATS: 236309 nodes over 254301 were skipped in iteration 0 (92.92 %), redo is: true -STATS: 254301 nodes over 254301 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 145.928860ms -STATS: serializing results: 4.064083ms -STATS: 254301 nodes over 254301 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 624 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 705, used: 81, occupation: 0.114894 -Diff: ok -------------------------------------------- -Query: B8 : /site/open_auctions/open_auction[bidder and not(bidder/preceding-sibling::bidder)]/interval -STATS: parsing xml document: 189.630985ms -STATS: parsing XPath query: 0.108004ms -STATS: compiling XPath query: 0.137091ms -STATS: Query: /child::site/child::open_auctions/child::open_auction[ child::bidder and not(child::bidder/preceding-sibling::bidder) ]/child::interval -STATS: Automaton: -STATS: 235063 nodes over 254301 were skipped in iteration 0 (92.43 %), redo is: true -STATS: 254301 nodes over 254301 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 140.723944ms -STATS: serializing results: 2.576828ms -STATS: 254301 nodes over 254301 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 368 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 506, used: 138, occupation: 0.272727 -Diff: ok -------------------------------------------- -Query: B9 : /site/open_auctions/open_auction[(not(bidder/following::bidder) or not(bidder/preceding::bidder)) or (bidder/following::bidder and bidder/preceding::bidder)]/interval -STATS: parsing xml document: 180.969000ms -STATS: parsing XPath query: 0.151157ms -STATS: compiling XPath query: 0.355959ms -STATS: Query: /child::site/child::open_auctions/child::open_auction[ not(child::bidder/ancestor-or-self::node()/following-sibling::node()/descendant-or-self::bidder) or not(child::bidder/ancestor-or-self::node()/preceding-sibling::node()/descendant-or-self::bidder) or child::bidder/ancestor-or-self::node()/following-sibling::node()/descendant-or-self::bidder and child::bidder/ancestor-or-self::node()/preceding-sibling::node()/descendant-or-self::bidder ]/child::interval -STATS: Automaton: -STATS: 1 nodes over 254301 were skipped in iteration 0 (0.00 %), redo is: true -STATS: 251143 nodes over 254301 were skipped in iteration 1 (98.76 %), redo is: true -STATS: 254301 nodes over 254301 were skipped in iteration 2 (100.00 %), redo is: false -STATS: evaluating query: 224.873066ms -STATS: serializing results: 6.433010ms -STATS: 254301 nodes over 254301 were skipped in iteration 3 (100.00 %), redo is: false -STATS: 3 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 157 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 213, used: 56, occupation: 0.262911 -Diff: ok -------------------------------------------- -Query: B10 : /site/open_auctions/open_auction[(not(bidder/following::bidder) or not(bidder/preceding::bidder)) and (bidder/following::bidder and bidder/preceding::bidder)]/interval -STATS: parsing xml document: 183.919191ms -STATS: parsing XPath query: 0.127792ms -STATS: compiling XPath query: 0.363827ms -STATS: Query: /child::site/child::open_auctions/child::open_auction[ (not(child::bidder/ancestor-or-self::node()/following-sibling::node()/descendant-or-self::bidder) or not(child::bidder/ancestor-or-self::node()/preceding-sibling::node()/descendant-or-self::bidder)) and child::bidder/ancestor-or-self::node()/following-sibling::node()/descendant-or-self::bidder and child::bidder/ancestor-or-self::node()/preceding-sibling::node()/descendant-or-self::bidder ]/child::interval -STATS: Automaton: -STATS: 1 nodes over 254301 were skipped in iteration 0 (0.00 %), redo is: true -STATS: 251143 nodes over 254301 were skipped in iteration 1 (98.76 %), redo is: true -STATS: 254301 nodes over 254301 were skipped in iteration 2 (100.00 %), redo is: false -STATS: evaluating query: 221.321106ms -STATS: serializing results: 1.529217ms -STATS: 254301 nodes over 254301 were skipped in iteration 3 (100.00 %), redo is: false -STATS: 3 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 153 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 208, used: 55, occupation: 0.264423 -Diff: ok -------------------------------------------- -Query: B11 : //open_auction/bidder/../bidder/../bidder/../interval -STATS: parsing xml document: 190.995932ms -STATS: parsing XPath query: 0.072956ms -STATS: compiling XPath query: 0.244856ms -STATS: Query: /descendant-or-self::node()/child::open_auction/child::bidder/parent::node()/child::bidder/parent::node()/child::bidder/parent::node()/child::interval -STATS: Automaton: -STATS: 0 nodes over 254301 were skipped in iteration 0 (0.00 %), redo is: true -STATS: 236211 nodes over 254301 were skipped in iteration 1 (92.89 %), redo is: true -STATS: 236211 nodes over 254301 were skipped in iteration 2 (92.89 %), redo is: true -STATS: 254301 nodes over 254301 were skipped in iteration 3 (100.00 %), redo is: false -STATS: evaluating query: 225.605011ms -STATS: serializing results: 6.007910ms -STATS: 254301 nodes over 254301 were skipped in iteration 4 (100.00 %), redo is: false -STATS: 4 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 144 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 209, used: 65, occupation: 0.311005 -Diff: ok -------------------------------------------- -Query: B12 : //item/@id/../@id/../@id/../@id/../name -STATS: parsing xml document: 194.081068ms -STATS: parsing XPath query: 0.083923ms -STATS: compiling XPath query: 0.293016ms -STATS: Query: /descendant-or-self::node()/child::item/attribute::@id/parent::node()/attribute::@id/parent::node()/attribute::@id/parent::node()/attribute::@id/parent::node()/child::name -STATS: Automaton: -STATS: 0 nodes over 254301 were skipped in iteration 0 (0.00 %), redo is: true -STATS: 188718 nodes over 254301 were skipped in iteration 1 (74.21 %), redo is: true -STATS: 188718 nodes over 254301 were skipped in iteration 2 (74.21 %), redo is: true -STATS: 188718 nodes over 254301 were skipped in iteration 3 (74.21 %), redo is: true -STATS: 254301 nodes over 254301 were skipped in iteration 4 (100.00 %), redo is: false -STATS: evaluating query: 266.115189ms -STATS: serializing results: 5.604982ms -STATS: 254301 nodes over 254301 were skipped in iteration 5 (100.00 %), redo is: false -STATS: 5 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 416 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 524, used: 108, occupation: 0.206107 -Diff: ok -------------------------------------------- -Query: B13 : //keyword/ancestor::parlist/descendant::keyword/ancestor::parlist/descendant::keyword/ancestor::parlist/descendant::keyword -STATS: parsing xml document: 183.907986ms -STATS: parsing XPath query: 0.083923ms -STATS: compiling XPath query: 0.251055ms -STATS: Query: /descendant-or-self::node()/child::keyword/ancestor::parlist/descendant::keyword/ancestor::parlist/descendant::keyword/ancestor::parlist/descendant::keyword -STATS: Automaton: -STATS: 203073 nodes over 254301 were skipped in iteration 0 (79.86 %), redo is: true -STATS: 208107 nodes over 254301 were skipped in iteration 1 (81.83 %), redo is: true -STATS: 208107 nodes over 254301 were skipped in iteration 2 (81.83 %), redo is: true -STATS: 254301 nodes over 254301 were skipped in iteration 3 (100.00 %), redo is: false -STATS: evaluating query: 197.850943ms -STATS: serializing results: 14.370203ms -STATS: 254301 nodes over 254301 were skipped in iteration 4 (100.00 %), redo is: false -STATS: 4 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 981 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 1198, used: 217, occupation: 0.181135 -Diff: ok -------------------------------------------- diff --git a/tests/xmark_tiny.xml.summary b/tests/xmark_tiny.xml.summary deleted file mode 100644 index 234109f..0000000 --- a/tests/xmark_tiny.xml.summary +++ /dev/null @@ -1,357 +0,0 @@ -Query: A1 : /site/closed_auctions/closed_auction/annotation/description/text/keyword -STATS: parsing xml document: 1.941919ms -STATS: parsing XPath query: 0.118971ms -STATS: compiling XPath query: 0.624895ms -STATS: Query: /child::site/child::closed_auctions/child::closed_auction/child::annotation/child::description/child::text/child::keyword -STATS: Automaton: -STATS: 1155 nodes over 1155 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 13.736010ms -STATS: serializing results: 1.666784ms -STATS: 1155 nodes over 1155 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 140 entries, cache6: 2831 entries -STATS: cache2: length: 210, used: 70, occupation: 0.333333 -STATS: cache4: length: 3099, used: 268, occupation: 0.086480 -Diff: ok -------------------------------------------- -Query: A2 : //closed_auction//keyword -STATS: parsing xml document: 1.976013ms -STATS: parsing XPath query: 0.051975ms -STATS: compiling XPath query: 0.267982ms -STATS: Query: /descendant-or-self::node()/child::closed_auction/descendant-or-self::node()/child::keyword -STATS: Automaton: -STATS: 1155 nodes over 1155 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 7.214785ms -STATS: serializing results: 1.543045ms -STATS: 1155 nodes over 1155 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 140 entries, cache6: 2253 entries -STATS: cache2: length: 210, used: 70, occupation: 0.333333 -STATS: cache4: length: 2452, used: 199, occupation: 0.081158 -Diff: ok -------------------------------------------- -Query: A3 : /site/closed_auctions/closed_auction//keyword -STATS: parsing xml document: 1.937866ms -STATS: parsing XPath query: 0.067949ms -STATS: compiling XPath query: 0.401974ms -STATS: Query: /child::site/child::closed_auctions/child::closed_auction/descendant-or-self::node()/child::keyword -STATS: Automaton: -STATS: 1155 nodes over 1155 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 8.767843ms -STATS: serializing results: 1.557112ms -STATS: 1155 nodes over 1155 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 140 entries, cache6: 2969 entries -STATS: cache2: length: 210, used: 70, occupation: 0.333333 -STATS: cache4: length: 3212, used: 243, occupation: 0.075654 -Diff: ok -------------------------------------------- -Query: A4 : /site/closed_auctions/closed_auction[annotation/description/text/keyword]/date -STATS: parsing xml document: 2.266884ms -STATS: parsing XPath query: 0.097036ms -STATS: compiling XPath query: 0.423908ms -STATS: Query: /child::site/child::closed_auctions/child::closed_auction[ child::annotation/child::description/child::text/child::keyword ]/child::date -STATS: Automaton: -STATS: 1046 nodes over 1155 were skipped in iteration 0 (90.56 %), redo is: true -STATS: 1155 nodes over 1155 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 13.612032ms -STATS: serializing results: 1.475811ms -STATS: 1155 nodes over 1155 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 269 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 341, used: 72, occupation: 0.211144 -Diff: ok -------------------------------------------- -Query: A5 : /site/closed_auctions/closed_auction[descendant::keyword]/date -STATS: parsing xml document: 1.949072ms -STATS: parsing XPath query: 0.077963ms -STATS: compiling XPath query: 0.340939ms -STATS: Query: /child::site/child::closed_auctions/child::closed_auction[ descendant::keyword ]/child::date -STATS: Automaton: -STATS: 1046 nodes over 1155 were skipped in iteration 0 (90.56 %), redo is: true -STATS: 1155 nodes over 1155 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 8.916855ms -STATS: serializing results: 1.583099ms -STATS: 1155 nodes over 1155 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 201 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 274, used: 73, occupation: 0.266423 -Diff: ok -------------------------------------------- -Query: A6 : /site/people/person[profile/gender and profile/age]/name -STATS: parsing xml document: 1.895189ms -STATS: parsing XPath query: 0.103951ms -STATS: compiling XPath query: 0.425816ms -STATS: Query: /child::site/child::people/child::person[ child::profile/child::gender and child::profile/child::age ]/child::name -STATS: Automaton: -STATS: 1129 nodes over 1155 were skipped in iteration 0 (97.75 %), redo is: true -STATS: 1155 nodes over 1155 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 10.172129ms -STATS: serializing results: 3.078938ms -STATS: 1155 nodes over 1155 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 66 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 95, used: 29, occupation: 0.305263 -Diff: ok -------------------------------------------- -Query: A7 : /site/people/person[phone or homepage]/name -STATS: parsing xml document: 1.924038ms -STATS: parsing XPath query: 0.078917ms -STATS: compiling XPath query: 0.349045ms -STATS: Query: /child::site/child::people/child::person[ child::phone or child::homepage ]/child::name -STATS: Automaton: -STATS: 1129 nodes over 1155 were skipped in iteration 0 (97.75 %), redo is: true -STATS: 1155 nodes over 1155 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 8.696079ms -STATS: serializing results: 1.600027ms -STATS: 1155 nodes over 1155 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 88 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 140, used: 52, occupation: 0.371429 -Diff: ok -------------------------------------------- -Query: A8 : /site/people/person[address and (phone or homepage) and (creditcard or profile)]/name -STATS: parsing xml document: 1.899004ms -STATS: parsing XPath query: 0.114918ms -STATS: compiling XPath query: 0.459909ms -STATS: Query: /child::site/child::people/child::person[ child::address and (child::phone or child::homepage) and (child::creditcard or child::profile) ]/child::name -STATS: Automaton: -STATS: 1129 nodes over 1155 were skipped in iteration 0 (97.75 %), redo is: true -STATS: 1155 nodes over 1155 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 11.929989ms -STATS: serializing results: 1.475811ms -STATS: 1155 nodes over 1155 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 92 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 139, used: 47, occupation: 0.338129 -Diff: ok -------------------------------------------- -Query: B1 : /site/regions/*/item[parent::namerica or parent::samerica]/name -STATS: parsing xml document: 2.445936ms -STATS: parsing XPath query: 0.091076ms -STATS: compiling XPath query: 0.488997ms -STATS: Query: /child::site/child::regions/child::*/child::item[ parent::namerica or parent::samerica ]/child::name -STATS: Automaton: -STATS: 1155 nodes over 1155 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 8.671999ms -STATS: serializing results: 1.447201ms -STATS: 1155 nodes over 1155 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 140 entries, cache6: 2553 entries -STATS: cache2: length: 210, used: 70, occupation: 0.333333 -STATS: cache4: length: 2784, used: 231, occupation: 0.082974 -Diff: ok -------------------------------------------- -Query: B2 : //keyword/ancestor::listitem/text/keyword -STATS: parsing xml document: 1.924992ms -STATS: parsing XPath query: 0.075102ms -STATS: compiling XPath query: 0.345945ms -STATS: Query: /descendant-or-self::node()/child::keyword/ancestor::listitem/child::text/child::keyword -STATS: Automaton: -STATS: 838 nodes over 1155 were skipped in iteration 0 (72.55 %), redo is: true -STATS: 1155 nodes over 1155 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 11.610985ms -STATS: serializing results: 1.956940ms -STATS: 1155 nodes over 1155 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 1079 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 1225, used: 146, occupation: 0.119184 -Diff: ok -------------------------------------------- -Query: B3 : /site/open_auctions/open_auction/bidder[following-sibling::bidder] -STATS: parsing xml document: 1.966000ms -STATS: parsing XPath query: 0.071049ms -STATS: compiling XPath query: 0.307083ms -STATS: Query: /child::site/child::open_auctions/child::open_auction/child::bidder[ following-sibling::bidder ] -STATS: Automaton: -STATS: 1155 nodes over 1155 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 7.487059ms -STATS: serializing results: 1.948833ms -STATS: 1155 nodes over 1155 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 140 entries, cache6: 2328 entries -STATS: cache2: length: 210, used: 70, occupation: 0.333333 -STATS: cache4: length: 2549, used: 221, occupation: 0.086701 -Diff: ok -------------------------------------------- -Query: B4 : /site/open_auctions/open_auction/bidder[preceding-sibling::bidder] -STATS: parsing xml document: 1.992941ms -STATS: parsing XPath query: 0.087023ms -STATS: compiling XPath query: 0.313997ms -STATS: Query: /child::site/child::open_auctions/child::open_auction/child::bidder[ preceding-sibling::bidder ] -STATS: Automaton: -STATS: 1155 nodes over 1155 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 7.298946ms -STATS: serializing results: 2.054930ms -STATS: 1155 nodes over 1155 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 140 entries, cache6: 1951 entries -STATS: cache2: length: 210, used: 70, occupation: 0.333333 -STATS: cache4: length: 2138, used: 187, occupation: 0.087465 -Diff: ok -------------------------------------------- -Query: B5 : /site/regions/*/item[following::item]/name -STATS: parsing xml document: 1.929998ms -STATS: parsing XPath query: 0.079155ms -STATS: compiling XPath query: 0.583172ms -STATS: Query: /child::site/child::regions/child::*/child::item[ ancestor-or-self::node()/following-sibling::node()/descendant-or-self::item ]/child::name -STATS: Automaton: -STATS: 1 nodes over 1155 were skipped in iteration 0 (0.09 %), redo is: true -STATS: 1155 nodes over 1155 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 15.670061ms -STATS: serializing results: 1.724005ms -STATS: 1155 nodes over 1155 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 1372 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 1624, used: 252, occupation: 0.155172 -Diff: ok -------------------------------------------- -Query: B6 : /site/regions/*/item[preceding::item]/name -STATS: parsing xml document: 2.002954ms -STATS: parsing XPath query: 0.078917ms -STATS: compiling XPath query: 0.535965ms -STATS: Query: /child::site/child::regions/child::*/child::item[ ancestor-or-self::node()/preceding-sibling::node()/descendant-or-self::item ]/child::name -STATS: Automaton: -STATS: 1155 nodes over 1155 were skipped in iteration 0 (100.00 %), redo is: false -STATS: evaluating query: 14.605999ms -STATS: serializing results: 1.614094ms -STATS: 1155 nodes over 1155 were skipped in iteration 1 (100.00 %), redo is: false -STATS: 1 iterations -STATS: automaton 0, cache2: 140 entries, cache6: 3069 entries -STATS: cache2: length: 210, used: 70, occupation: 0.333333 -STATS: cache4: length: 3392, used: 323, occupation: 0.095224 -Diff: ok -------------------------------------------- -Query: B7 : //person[profile/@income]/name -STATS: parsing xml document: 1.917839ms -STATS: parsing XPath query: 0.077963ms -STATS: compiling XPath query: 0.272036ms -STATS: Query: /descendant-or-self::node()/child::person[ child::profile/attribute::@income ]/child::name -STATS: Automaton: -STATS: 1129 nodes over 1155 were skipped in iteration 0 (97.75 %), redo is: true -STATS: 1155 nodes over 1155 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 3.632784ms -STATS: serializing results: 1.396894ms -STATS: 1155 nodes over 1155 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 58 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 84, used: 26, occupation: 0.309524 -Diff: ok -------------------------------------------- -Query: B8 : /site/open_auctions/open_auction[bidder and not(bidder/preceding-sibling::bidder)]/interval -STATS: parsing xml document: 1.998901ms -STATS: parsing XPath query: 0.102043ms -STATS: compiling XPath query: 0.397921ms -STATS: Query: /child::site/child::open_auctions/child::open_auction[ child::bidder and not(child::bidder/preceding-sibling::bidder) ]/child::interval -STATS: Automaton: -STATS: 1091 nodes over 1155 were skipped in iteration 0 (94.46 %), redo is: true -STATS: 1155 nodes over 1155 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 10.616779ms -STATS: serializing results: 1.590967ms -STATS: 1155 nodes over 1155 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 124 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 184, used: 60, occupation: 0.326087 -Diff: ok -------------------------------------------- -Query: B9 : /site/open_auctions/open_auction[(not(bidder/following::bidder) or not(bidder/preceding::bidder)) or (bidder/following::bidder and bidder/preceding::bidder)]/interval -STATS: parsing xml document: 1.937151ms -STATS: parsing XPath query: 0.144005ms -STATS: compiling XPath query: 1.156092ms -STATS: Query: /child::site/child::open_auctions/child::open_auction[ not(child::bidder/ancestor-or-self::node()/following-sibling::node()/descendant-or-self::bidder) or not(child::bidder/ancestor-or-self::node()/preceding-sibling::node()/descendant-or-self::bidder) or child::bidder/ancestor-or-self::node()/following-sibling::node()/descendant-or-self::bidder and child::bidder/ancestor-or-self::node()/preceding-sibling::node()/descendant-or-self::bidder ]/child::interval -STATS: Automaton: -STATS: 1 nodes over 1155 were skipped in iteration 0 (0.09 %), redo is: true -STATS: 1155 nodes over 1155 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 18.059015ms -STATS: serializing results: 1.640081ms -STATS: 1155 nodes over 1155 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 977 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 1250, used: 273, occupation: 0.218400 -Diff: ok -------------------------------------------- -Query: B10 : /site/open_auctions/open_auction[(not(bidder/following::bidder) or not(bidder/preceding::bidder)) and (bidder/following::bidder and bidder/preceding::bidder)]/interval -STATS: parsing xml document: 1.865864ms -STATS: parsing XPath query: 0.143051ms -STATS: compiling XPath query: 1.295090ms -STATS: Query: /child::site/child::open_auctions/child::open_auction[ (not(child::bidder/ancestor-or-self::node()/following-sibling::node()/descendant-or-self::bidder) or not(child::bidder/ancestor-or-self::node()/preceding-sibling::node()/descendant-or-self::bidder)) and child::bidder/ancestor-or-self::node()/following-sibling::node()/descendant-or-self::bidder and child::bidder/ancestor-or-self::node()/preceding-sibling::node()/descendant-or-self::bidder ]/child::interval -STATS: Automaton: -STATS: 1 nodes over 1155 were skipped in iteration 0 (0.09 %), redo is: true -STATS: 1155 nodes over 1155 were skipped in iteration 1 (100.00 %), redo is: false -STATS: evaluating query: 27.679920ms -STATS: serializing results: 1.658916ms -STATS: 1155 nodes over 1155 were skipped in iteration 2 (100.00 %), redo is: false -STATS: 2 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 978 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 1247, used: 269, occupation: 0.215718 -Diff: ok -------------------------------------------- -Query: B11 : //open_auction/bidder/../bidder/../bidder/../interval -STATS: parsing xml document: 1.846075ms -STATS: parsing XPath query: 0.068903ms -STATS: compiling XPath query: 0.643015ms -STATS: Query: /descendant-or-self::node()/child::open_auction/child::bidder/parent::node()/child::bidder/parent::node()/child::bidder/parent::node()/child::interval -STATS: Automaton: -STATS: 0 nodes over 1155 were skipped in iteration 0 (0.00 %), redo is: true -STATS: 1091 nodes over 1155 were skipped in iteration 1 (94.46 %), redo is: true -STATS: 1091 nodes over 1155 were skipped in iteration 2 (94.46 %), redo is: true -STATS: 1155 nodes over 1155 were skipped in iteration 3 (100.00 %), redo is: false -STATS: evaluating query: 18.645048ms -STATS: serializing results: 1.463175ms -STATS: 1155 nodes over 1155 were skipped in iteration 4 (100.00 %), redo is: false -STATS: 4 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 93 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 149, used: 56, occupation: 0.375839 -Diff: ok -------------------------------------------- -Query: B12 : //item/@id/../@id/../@id/../@id/../name -STATS: parsing xml document: 1.981020ms -STATS: parsing XPath query: 0.072002ms -STATS: compiling XPath query: 0.829935ms -STATS: Query: /descendant-or-self::node()/child::item/attribute::@id/parent::node()/attribute::@id/parent::node()/attribute::@id/parent::node()/attribute::@id/parent::node()/child::name -STATS: Automaton: -STATS: 0 nodes over 1155 were skipped in iteration 0 (0.00 %), redo is: true -STATS: 891 nodes over 1155 were skipped in iteration 1 (77.14 %), redo is: true -STATS: 891 nodes over 1155 were skipped in iteration 2 (77.14 %), redo is: true -STATS: 891 nodes over 1155 were skipped in iteration 3 (77.14 %), redo is: true -STATS: 1155 nodes over 1155 were skipped in iteration 4 (100.00 %), redo is: false -STATS: evaluating query: 20.490885ms -STATS: serializing results: 1.349926ms -STATS: 1155 nodes over 1155 were skipped in iteration 5 (100.00 %), redo is: false -STATS: 5 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 304 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 384, used: 80, occupation: 0.208333 -Diff: ok -------------------------------------------- -Query: B13 : //keyword/ancestor::parlist/descendant::keyword/ancestor::parlist/descendant::keyword/ancestor::parlist/descendant::keyword -STATS: parsing xml document: 1.920938ms -STATS: parsing XPath query: 0.090837ms -STATS: compiling XPath query: 0.641108ms -STATS: Query: /descendant-or-self::node()/child::keyword/ancestor::parlist/descendant::keyword/ancestor::parlist/descendant::keyword/ancestor::parlist/descendant::keyword -STATS: Automaton: -STATS: 798 nodes over 1155 were skipped in iteration 0 (69.09 %), redo is: true -STATS: 798 nodes over 1155 were skipped in iteration 1 (69.09 %), redo is: true -STATS: 798 nodes over 1155 were skipped in iteration 2 (69.09 %), redo is: true -STATS: 1155 nodes over 1155 were skipped in iteration 3 (100.00 %), redo is: false -STATS: evaluating query: 24.297953ms -STATS: serializing results: 1.913071ms -STATS: 1155 nodes over 1155 were skipped in iteration 4 (100.00 %), redo is: false -STATS: 4 iterations -STATS: automaton 0, cache2: 0 entries, cache6: 660 entries -STATS: cache2: length: 0, used: 0, occupation: -nan -STATS: cache4: length: 817, used: 157, occupation: 0.192166 -Diff: ok --------------------------------------------