#!/bin/sh

~/BDDSearch/0.1/bdds -i PDDL -d domain.pddl -a Forward -v 1 -t 4000 -n 1000000 -c 400000 -p prob$1.pddl

