improved dummy solver
added benchmark project