Republicans not voting the party ticket were not necessarily voting against Trump. In my own voting, I do this when I want to vote for a candidate in a local race who is not a Republican. There's a way to test it - just compare graphs from a deep red state that doesn't use this type of machine