A bug fixed in exact_solver.c, and static ordering removed.
New entry in the endgame solver diary added.