Non-deterministic SIDMAR problems (machines can fail) for IJCAI-03 paper.
Heuristic guided (measuring the distance to the init state as number of 
recipe state changes)
