Index: benchmark/benchcltr.hfa
===================================================================
--- benchmark/benchcltr.hfa	(revision c34ebf2e1c30febd459338ca6bff481ddda03a67)
+++ benchmark/benchcltr.hfa	(revision 8e27ac450dcd2107832246b097264ec232c1b64f)
@@ -29,11 +29,12 @@
       for() {
             sleep(100`ms);
-            end = getTime();
-            if( (end - start) >= duration`s ) {
+            end = getTimeNsec();
+            Duration delta = end - start;
+            if(is_tty) {
+                  printf("\r%.1f", delta`ds);
+                  fflush(stdout);
+            }
+            if( delta >= duration`s ) {
                   break;
-            }
-            if(is_tty) {
-                  printf("\r%.4lf", (end - start)`ds);
-                  fflush(stdout);
             }
       }
Index: benchmark/io/readv.cfa
===================================================================
--- benchmark/io/readv.cfa	(revision c34ebf2e1c30febd459338ca6bff481ddda03a67)
+++ benchmark/io/readv.cfa	(revision 8e27ac450dcd2107832246b097264ec232c1b64f)
@@ -157,5 +157,5 @@
 				printf("Starting\n");
 				bool is_tty = isatty(STDOUT_FILENO);
-				start = getTime();
+				start = getTimeNsec();
 				run = true;
 
@@ -166,5 +166,5 @@
 
 				run = false;
-				end = getTime();
+				end = getTimeNsec();
 				printf("\nDone\n");
 			}
Index: benchmark/readyQ/yield.cfa
===================================================================
--- benchmark/readyQ/yield.cfa	(revision c34ebf2e1c30febd459338ca6bff481ddda03a67)
+++ benchmark/readyQ/yield.cfa	(revision 8e27ac450dcd2107832246b097264ec232c1b64f)
@@ -111,4 +111,9 @@
 		{
 			BenchProc procs[nprocs];
+			#if !defined(__CFA_NO_STATISTICS__)
+				for(i; nprocs) {
+					print_stats_at_exit( procs[i].self );
+				}
+			#endif
 			{
 				Yielder threads[nthreads];
@@ -116,5 +121,5 @@
 
 				bool is_tty = isatty(STDOUT_FILENO);
-				start = getTime();
+				start = getTimeNsec();
 				run = true;
 
@@ -125,5 +130,5 @@
 
 				run = false;
-				end = getTime();
+				end = getTimeNsec();
 				printf("\nDone\n");
 			}