#!/bin/sh

~/BDDSearch/0.3/bdds -i PDDL -d domain.pddl -g HSPr -a SetAstar -w 1.0  -v 1 -u 500000 -t 4000 -e setAstar1.dat -n 10000000 -c 700000 -p single$1.pddl
