#!/bin/sh

~/BDDSearch/0.2/bdds -i PDDL -d domain.pddl -a Backward -v 1 -t 4000 -s 1007 -c 262144  -p prob$1.pddl

