Enhancing SMT Quality and Efficiency With Self-Adaptive Collaborative Optimization