ignore push script
fix greedy-find, add benchmark