*~ *.o_dbg *.o_opt *.bak output.txt *.cnf *.pddl compress/* *.out *.rbt simplify/*