Algorithm Synthesis: A Comparative Study