fixed division-by-zero errors from bvudiv in STP
fixed division-by-zero errors from bvudiv in STP

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