Did anybody try to solve the examples? I tried to do that manually, but I could not obtain the same results for the second example. I also used software tools without success