disable STP when cryptominisat was not found
disable STP when cryptominisat was not found

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