#!/bin/sh

~/DOP/0.5/src/dop -d domain.pddl -p prob$1.pddl -a 3 -v 1 -i 10000 -u 5000 -n 15000000 -c 800000 -w 0.33 
