#!/bin/bash
./at_bfs_f --domain $1 --problem $2 --output $3
