Efficient Multiplex Symbolic Execution with Adaptive Search Strategy