X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=benchmark%2Fbenchmark.ml;fp=benchmark%2Fbenchmark.ml;h=c726166e49f04d91b06fdd5e4cfb7d5a12a35bd2;hb=ff0d1111e34d2aba9b6454e0c95b67bd38ba392c;hp=5418b6493d6507be38beb4b83ba8985fc33ee0e9;hpb=b7760799ea0d052916a0581fb0abe119d49e8a63;p=SXSI%2Fxpathcomp.git

diff --git a/benchmark/benchmark.ml b/benchmark/benchmark.ml
index 5418b64..c726166 100644
--- a/benchmark/benchmark.ml
+++ b/benchmark/benchmark.ml
@@ -258,10 +258,10 @@ struct
 				 else Printf.printf "With output : \t%!";
 				 for i = 1 to Conf.num_runs do
 				   let s = extract(run_query (k==1) (j==1) qnum docnum qset) in
-				     if sres.(j).query_execution_time > s.query_execution_time
-				     then sres.(j) <- s;
-				     if (k==1) then
-				       sres.(j).memory_usage <- s.memory_usage;
+				     sres.(j).query_execution_time <- s.query_execution_time;
+				     sres.(j).query_compile_time <- s.query_compile_time;
+				     if j == 1 then sres.(j).serialization_time <- s.serialization_time;
+				     if k == 1 then sres.(j).memory_usage <- s.memory_usage;
 				     Printf.printf "pass %i ... %!" i;
 				 done;
 				 Printf.printf "Ok\n%!";