Bottlenecks in Solving Synthesis Problems | AMiner