#!/bin/sh

~/DOP/0.5/src/dop -d domain.pddl -p prob$1.pddl -a 3 -v 1 -i 1000000 -n 1000000 -c 400000 -u 1000000 -w 0.1
