Remove the 'round' counter from the hashconsed configurations.
authorKim Nguyễn <kn@lri.fr>
Fri, 26 Apr 2013 14:55:55 +0000 (16:55 +0200)
committerKim Nguyễn <kn@lri.fr>
Fri, 26 Apr 2013 14:55:55 +0000 (16:55 +0200)
src/ata.ml
src/ata.mli
src/eval.ml
src/html.ml
src/html.mli
tests/alphabet.xml.summary [deleted file]
tests/comments00.xml.summary [deleted file]
tests/xmark_small.xml.summary [deleted file]
tests/xmark_tiny.xml.summary [deleted file]

index 19eb75d..f4cd6db 100644 (file)
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  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"
@@ -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 =
index a0778a1..8de0c58 100644 (file)
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  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 =
@@ -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;
index 575ee09..c6d4326 100644 (file)
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  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"
@@ -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<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;
@@ -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
               }
index 4119f23..c7990b3 100644 (file)
@@ -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)
index a1506c9..91dacaf 100644 (file)
@@ -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 (file)
index f579698..0000000
+++ /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 (file)
index b595152..0000000
+++ /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 (file)
index 955e7ce..0000000
+++ /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 (file)
index 234109f..0000000
+++ /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
--------------------------------------------