#!/bin/sh

~/DOP/0.5/src/dop -d domain.pddl -p prob$1.pddl -a 3 -v 1 -i 1000000 -u 20000000 -n 800000 -c 200000  -w 1.0 $2 $3