benchmark stuff
Minor changes in code for older C++ compiler
Benchmark stuff
Benchmarking improved exhaustive search
New line in table