(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-04-25 15:30:52 CEST by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-04-25 16:20:41 CEST by Kim Nguyen>
*)
INCLUDE "utils.ml"
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
-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 =
(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-04-25 15:15:01 CEST by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-04-25 16:25:20 CEST by Kim Nguyen>
*)
type predicate =
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;
(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-04-25 15:12:45 CEST by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-04-25 17:22:15 CEST by Kim Nguyen>
*)
INCLUDE "utils.ml"
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<br/>%s<br/>sat: %a<br/>unsat: %a<br/>todo: %around: %i<br/>"
- ((T.preorder tree node):>int)
+ (T.preorder tree node)
msg
StateSet.print config.Ata.sat
StateSet.print config.Ata.unsat
- (Ata.TransList.print ~sep:"<br/>") config.Ata.todo oldi
+ (Ata.TransList.print ~sep:"<br/>") 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;
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
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 []
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
}
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 ->
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)
-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
+++ /dev/null
-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
--------------------------------------------
+++ /dev/null
-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
--------------------------------------------
+++ /dev/null
-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
--------------------------------------------
+++ /dev/null
-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
--------------------------------------------