+ Tree.Naive.print_xml stdout doc n;
+ output_char stdout '\n'
+ ) results;
+ output_string stdout "</xml_result>\n";
+ let tprint = (Unix.gettimeofday () -. t1) *. 1000. in
+ flush stdout;
+ fprintf err_formatter "evaluation time: %fms\nserialization time: %fms\n%!" teval tprint