SELECT an Example  ...select an Example SMT-Genetic improvement 1 SMT-Genetic improvement 2 SMT-Genetic improvement 3 SMT and SMT-Genetic both works 1 SMT and SMT-Genetic both works 2