else
(* let _ = Gc.set ({ Gc.get() with Gc.max_overhead = 1000000; Gc.space_overhead = 100 }) in *)
let result = time (if !Options.time then run_time auto else run auto) v in
else
(* let _ = Gc.set ({ Gc.get() with Gc.max_overhead = 1000000; Gc.space_overhead = 100 }) in *)
let result = time (if !Options.time then run_time auto else run auto) v in