#!/bin/sh

~/planners/MIPS/ver2.1/mips -B -A -n domain.pddl prob$1.pddl -p