X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=benchmark%2Fmain.ml;h=93c673bf1b9a917d7b4f77270905b0ef5a07d2ef;hb=63ca35af9ef5c0b18b3d3217536f3353f77f5465;hp=a761bc2a62c0c81c8234e06cf2b4e7c4e697a9e0;hpb=3623eefccfb5fc69e19ad975a3669f51a2a8b276;p=SXSI%2Fxpathcomp.git

diff --git a/benchmark/main.ml b/benchmark/main.ml
index a761bc2..93c673b 100644
--- a/benchmark/main.ml
+++ b/benchmark/main.ml
@@ -62,7 +62,7 @@ struct
   let reference = false
   let time_factor = 1.0
   let mk_queryfile b doc q out = ()
-  let mk_cmdline b qout qfile doc q = [ doc; q ]@ (if b then [qout] else [])
+  let mk_cmdline b qout qfile doc q = [ "-d"; doc; q ]@ (if b then [qout] else [])
   let parse_rules = 
     [  ( ".*Parsing document :[ \\t]*\\([0-9]+\\.[0-9]*\\)ms.*",
 	 [ Input_parsing_time 1]);
@@ -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.*",
@@ -83,18 +83,25 @@ module CONF : CONFIGURATION =
 struct
   let path = "."
   let result_basename = "test"
-  let num_runs = 5
-  let run_with_output = true
+  let num_runs = 1
+  let run_with_output = false
   let run_without_output = true
 end
 
 module I = INIT_TESTER (CONF)
-module Test = MK (SXSI) (MK (SaxonBXQuery) (I))
+module TestOld = MK (SXSI) (MK (SaxonBXQuery) (I))
+module Test = MK (SXSI) (I)
+
 
 let l = Test.test_engine [] (make_queryset 
-			       ["/home/kim/Documents/Work/Code/xpathcomp/tests/small.xml"] 
-			       ["/descendant::*/descendant::*/descendant::*"])
+			       ["/home/kim/Documents/Work/Code/xpathcomp/tests/tiny.xml"] 
+			       ["/child::*"])
 ;;
+
+
+
+
+
 List.iter (function (e,d),s -> 
 	     Printf.printf "\n--------------  %s   -----------------" e;
 	     Array.iter ( fun i ->