#!/bin/sh

~/BDDSearch/0.3/bdds -i PDDL -d domain.pddl -a PubPureBDDAstar  -v 1 -e PubPureBDDAstar.dat -p single$1.pddl  -t 4000 -n 8000000 -c 400000 -g HSPr
