Overall, reviewers liked how the paper combined constraint solving, symbolic execution and MCTS to solve the problem. The main reservation was some concern about relevance to the venue given the lack of any learning in the approach. However, reviewers believed that both the problem and the techniques are of interest to people in the community, for example working on ML-guided program synthesis.