Finishing up current hivemind work should be done in less than a month, in fact hopefully within a week or so. There will still be work done afterwards, though, as we'll schedule future work for it too.

For the analysis, it's hard to say for sure, since we'll be looking not only at SMT code, but also at potentially competing methods of achieving similar features. My guess is it will take a couple of weeks for the analysis.