Adaptive solving strategy synthesis for symbolic execution