This is a translation of the rover domain deployed with JShop2. The problems are translations form STRIPS problems of the IPC 3.