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