A lot of debugging printf added in exact_solver.c and improved_fast_endgame_solver.c.
Fastest first is under scrutiny, there are some small differences in the search trees.
my suspect is a bug in exact_solver ....