#! /bin/bash

DOMAIN=$1
PROBLEM=$2
PLAN=$3

python2 fast-downward.py --plan-file $PLAN --build release64 $DOMAIN $PROBLEM --search 'astar(operatorcounting([lmcutnumeric_constraints(ceiling_less_than_one=true),state_equation_constraints],cplex,lp))'
