Changed incorrect url
Bug fix when no solution found. Benchmarking improvements.