update links to evaluation for Ksynthesis