added timeout to exhaustive search ranker. fixes issue #71; minor cleanup of value matching