tlplan/ipc5/domains/rovers
