# HG changeset patch
# User orbitz <orbitz@gmail.com>
# Date 1485615435 -3600
#      Sat Jan 28 15:57:15 2017 +0100
# Node ID 53118b378011b28daf6a8d661bd6692fa0678d1b
# Parent  6dfafe2631f206e11fd2638115a544a3d9b6ae1b
Sys.time only returns processor time and not wall clock time

diff --git a/src/oth/oth.ml b/src/oth/oth.ml
--- a/src/oth/oth.ml
+++ b/src/oth/oth.ml
@@ -33,9 +33,9 @@
 let parallel = serial
 
 let time_call f =
-  let start = Sys.time () in
+  let start = Unix.gettimeofday () in
   let res = f () in
-  let stop = Sys.time () in
+  let stop = Unix.gettimeofday () in
   let sec = stop -. start in
   (sec, res)