fixed minimization algorithm: when witness is smaller than the minimum return with the minimum as a possible solution
fixed minimization algorithm: when witness is smaller than the minimum return with the minimum as a possible solution

agra-uni-bremen/metaSMT,finnhaedicke/metaSMT,hoangmle/metaSMT,nbruns1/metaSMT,hoangmle/metaSMT,hoangmle/metaSMT,finnhaedicke/metaSMT,agra-uni-bremen/metaSMT,nbruns1/metaSMT,nbruns1/metaSMT,finnhaedicke/metaSMT,agra-uni-bremen/metaSMT