updated solver to run all tests, not just first 100