link Z3 with pthread (required now)
link Z3 with pthread (required now)

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