#!/bin/sh

~/BDDSearch/0.2/bdds -i PDDL -d domain.pddl -a Backward -v 1 -t 4000 -s 4007 -c 542144  -p probLOGISTICS-$1-0.pddl

