I’m just excited that Z3 has a parallel mode now. Last time I was using it much, it was only single core.