#!/bin/sh

~/BDDSearch/0.3/bdds -i PDDL -d domain.pddl -a Bidir -w -v 1 -e Bidir.dat -p single$1.pddl -t 4000 -n 10000000 -c 700000
