63% of Republicans are not voting for Trump no matter what.
So that means about 75% of Republicans are not voting for Cruz. :-)