keep track of timing of gbench

bin/gbench.py

@@ -1,6 +1,7 @@
 #!/usr/bin/env python
 
 import sys
+import time
 
 import numpy as np
 
@@ -84,6 +85,7 @@ if __name__ == '__main__':
   i = 0
   outside = 0
   pbar = progressbar.ProgressBar().start()
+  start = time.time()
   while i < count:
     try:
       X = np.random.random((1,options.dimension))[0]
@@ -101,5 +103,6 @@ if __name__ == '__main__':
       outside += 1
 
   pbar.finish()
+  end = time.time()
   print "total skipped points: %d" % outside
-  print results
+  print results, end - start