plan_topk_okstar.sh

#!/bin/bash

# $1 domain
# $2 problem
# $3 number of plans (k)
# $4 json file name

RUNOPT="kstar(lmcut(),symmetries=sym,k=$3,dump_plan_files=false,json_file_to_dump=$4)"

LOG_FILE=$4.run.log

SOURCE="$( dirname "${BASH_SOURCE[0]}" )"
#echo $SOURCE
$SOURCE/fast-downward.py $1 $2 --symmetries "sym=structural_symmetries(time_bound=0,search_symmetries=oss,stabilize_initial_state=false,keep_operator_symmetries=true)" --search $RUNOPT > $LOG_FILE