Benchmarks

To be written: a comparison of the runtimes of utool vs. the LKB solver and the classical Hole Semantics solver.