A Comprehensive Analysis of Down-sampling for Genetic Programming-based Program Synthesis | AMiner