We generate synthetic elections using two sources of survey data, two spatial models, and two standard models from the voting literature, IAC and IC. For each election that we generate, we test whether each of 54 voting rules is (1) non-manipulable, and (2) efficient in the sense of maximizing summed utilities. We find that Hare and Condorcet-Hare are the most strategy-resistant non-dictatorial...