#!/bin/bash

rm output.sas
rm output
rm 0x*.bdd
rm search.bdd
rm task.txt
rm certificate.txt

# specify path to pddl file here
PDDL_FILE=~/pddls/unsolv-total/bottleneck/prob07.pddl
echo "-------------------------------------------------"
echo "RUNNING TASK"
echo "-------------------------------------------------"
# Merge & Shrink
#./certifying-downward/fast-downward.py --build "release32" $PDDL_FILE --search "astar(merge_and_shrink(merge_strategy=merge_precomputed(merge_tree=linear()), shrink_strategy=shrink_bisimulation(), label_reduction=exact(before_shrinking=true,before_merging=false)))" 

# hmax
#./certifying-downward/fast-downward.py --build "release32" $PDDL_FILE --search "astar(hmax())"

# hm
#./certifying-downward/fast-downward.py --build "release32" $PDDL_FILE --search "astar(hm())"

# max( Merge & Shrink, hmax)
#./certifying-downward/fast-downward.py --build "release32" $PDDL_FILE --search "astar(max([merge_and_shrink(merge_strategy=merge_precomputed(merge_tree=linear()), shrink_strategy=shrink_bisimulation(), label_reduction=exact(before_shrinking=true,before_merging=false)),hm()]))"

# uc
#./certifying-fd-hc-refinement/fast-downward.py $PDDL_FILE --heuristic "hff=ff()" --heuristic "u=uc(x=-1, clauses=statemin)" --search "dfs(eval=[hff], preferred=[hff], refiner=[ucrn2_1(uc=u)],u_refine_initial_state=true)"
echo ""
echo "-------------------------------------------------"
echo "RUN VERIFIER"
echo "-------------------------------------------------"
./verifier/verify task.txt certificate.txt
