Use wall time instead of processor time.
Parallelize querying against benchmarks.

Seems to show 2-3x speedup.