Fixed bugs in branching solver added more examples