X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=benchmark%2Fmain.ml;fp=benchmark%2Fmain.ml;h=98a9519ba144fdf5cf67de2eb21a07074b4b3530;hb=95367aa932a9e179976e59ea326542c50905f5b3;hp=a761bc2a62c0c81c8234e06cf2b4e7c4e697a9e0;hpb=b821684aac2e3114c2eb28188020d7a09b5de2a5;p=SXSI%2Fxpathcomp.git

diff --git a/benchmark/main.ml b/benchmark/main.ml
index a761bc2..98a9519 100644
--- a/benchmark/main.ml
+++ b/benchmark/main.ml
@@ -70,7 +70,7 @@ struct
        ( ".*Compiling query :[ \\t]*\\([0-9]+\\.[0-9]*\\)ms.*",
 	 [ Query_compile_time 1]);
 
-       ( ".*TopDown (No BackTrack) :[ \\t]*\\([0-9]+\\.[0-9]*\\)ms.*",
+       ( ".*Execution time :[ \\t]*\\([0-9]+\\.[0-9]*\\)ms.*",
 	 [ Query_execution_time 1]);
 
        ( ".*Serializing results :[ \\t]*\\([0-9]+\\.[0-9]*\\)ms.*",
@@ -91,10 +91,17 @@ end
 module I = INIT_TESTER (CONF)
 module Test = MK (SXSI) (MK (SaxonBXQuery) (I))
 
+
+
 let l = Test.test_engine [] (make_queryset 
-			       ["/home/kim/Documents/Work/Code/xpathcomp/tests/small.xml"] 
+			       ["/home/kim/Documents/Work/Code/xpathcomp/tests/tiny.xml"] 
 			       ["/descendant::*/descendant::*/descendant::*"])
 ;;
+
+
+
+
+
 List.iter (function (e,d),s -> 
 	     Printf.printf "\n--------------  %s   -----------------" e;
 	     Array.iter ( fun i ->