#!/bin/sh
 
~/BDDSearch/0.3/bdds -i PDDL -d domain.pddl -a PubBDDAstar -v 3 -e PubBDDAstar.dat -p prob$1single.pddl -t 4000 -n 2000000 -c 400000 -g HSPr

