Example: ./fast-downward.py --build release64 examples/gripper/domain.pddl examples/gripper/prob02.pddl --search "kstar(blind(),k=1)"