add mad heuristic into downward-32-mad binary file