#!/bin/sh

~/bin/mips -H -# -P 1000 domain.pddl probLOGISTICS-$1-0.pddl
