in
let ul1 = set_of_result (None,!execute env q1) in
let ul2 = set_of_result (None,!execute env q2) in
in
let ul1 = set_of_result (None,!execute env q1) in
let ul2 = set_of_result (None,!execute env q2) in
string_of_int (List.length (!execute env q1)) ^ ">" ^
string_of_int (List.length ul1) ^ "," ^
string_of_int (List.length (!execute env q2)) ^ ">" ^
string_of_int (List.length (!execute env q1)) ^ ">" ^
string_of_int (List.length ul1) ^ "," ^
string_of_int (List.length (!execute env q2)) ^ ">" ^
in
let ul1 = set_of_result (None,!execute env q1) in
let ul2 = set_of_result (None,!execute env q2) in
in
let ul1 = set_of_result (None,!execute env q1) in
let ul2 = set_of_result (None,!execute env q2) in
string_of_int (List.length (!execute env q1)) ^ ">" ^
string_of_int (List.length ul1) ^ "," ^
string_of_int (List.length (!execute env q2)) ^ ">" ^
string_of_int (List.length (!execute env q1)) ^ ">" ^
string_of_int (List.length ul1) ^ "," ^
string_of_int (List.length (!execute env q2)) ^ ">" ^
- print_string (string_of_int (List.length result) ^ ": ") ;
- print_endline (string_of_float (Unix.time () -. t) ^ "s") ;
+ prerr_string (string_of_int (List.length result) ^ ": ") ;
+ prerr_endline (string_of_float (Sys.time () -. t) ^ "s") ;