#! /bin/bash

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

python2 fast-downward.py --build release64 --plan-file $PLAN $DOMAIN $PROBLEM --search 'lazy_greedy([lmcutnumeric(ceiling_less_than_one=true)])'

