Added concurrent, non-concurrent and benchmarking solvers; added input puzzles