measured running times for different numbers of images and subintervals
treec220de47920818c34b3270c7227587fa5b03e163
-rw-r--r-- 1844 Makefile
-rwxr-xr-x 1683 measure_times.sh
drwxr-xr-x - res
-rwxr-xr-x 2270 run.sh
drwxr-xr-x - src