Probabilistic version of 8puzzle in which moving the space from row 1 to row 2 is sticky. This one wasn't in the paper. Run planner with option -M 512 to make maxnodes large enough (operator right12 (params ( TILE) ( INTEGER)) (preconds (in space one) (in two)) (effects (0.4 (del (in space one)) (del (in two)) (add (in space two)) (add (in one))) (0.6))) (operator right23 (params ( TILE) ( INTEGER)) (preconds (in space two) (in three)) (effects (1.0 (del (in space two)) (del (in three)) (add (in space three)) (add (in two))))) (operator left12 (params ( TILE) ( INTEGER)) (preconds (in one) (in space two)) (effects (1.0 (del (in one)) (del (in space two)) (add (in two)) (add (in space one))))) (operator left23 (params ( TILE) ( INTEGER)) (preconds (in two) (in space three)) (effects (1.0 (del (in two)) (del (in space three)) (add (in three)) (add (in space two))))) (operator down12 (params ( TILE) ( INTEGER)) (preconds (in space one ) (in two )) (effects (1.0 (del (in space one )) (del (in two )) (add (in space two )) (add (in one ))))) (operator down23 (params ( TILE) ( INTEGER)) (preconds (in space two ) (in three )) (effects (1.0 (del (in space two )) (del (in three )) (add (in space three )) (add (in two ))))) (operator up12 (params ( TILE) ( INTEGER)) (preconds (in one ) (in space two )) (effects (1.0 (del (in one )) (del (in space two )) (add (in two )) (add (in space one ))))) (operator up23 (params ( TILE) ( INTEGER)) (preconds (in two ) (in space three )) (effects (1.0 (del (in two )) (del (in space three )) (add (in three )) (add (in space two )))))