Update CDA and tac8 for some Z3 models