print times more precisely, write files to results/
-rw-r--r-- 352 Makefile
-rw-r--r-- 86 Makefile.flags
-rw-r--r-- 270 README
-rw-r--r-- 3234 bench.c
drwxr-xr-x - benchmarks
drwxr-xr-x - results
-rw-r--r-- 447 selection.h
-rw-r--r-- 319 timer.c