introduced mapping from solver name to solver type
introduced mapping from solver name to solver type

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