Domain name:     sokoban 
Problem name:    sokoban2 
Time:            22.011 sec
Search length:   1274 nodes
Solution length: 107 actions

Domain name:     sokoban 
Problem name:    sokoban2 
Time:            25.881 sec
Search length:   2548 nodes
Solution length: 107 actions