Green (✓) cells mean no violation was found after exhaustive checking of (representatives of anonymous and neutral equivalence classes of) profiles with the specified numbers of candidates (c) and voters (v). Note that violations may exist for numbers of candidates and voters not yet checked! In some cases, you can click on "(ref)" for a reference stating that the method satisfies the axiom.
Red (✗) cells show the lexicographically smallest configuration (smallest number of candidates, then smallest number of voters, among configurations checked) with a violation. Click on a red cell to view the details of the violation.
Yellow (N/A) cells indicate that the voting method cannot process profiles with ties created in order to check the axiom.
| Method | Condorcet Loser | Condorcet Winner | Pareto Dominance | Pareto Dominance (Strong Pareto) | Smith |
|---|---|---|---|---|---|
| Anti-Plurality | ✗ 3c, 3v (checked 2c, 2-11v) | ✗ 3c, 2v (checked 2c, 2-11v) | ✗ 3c, 2v (checked 2c, 2-11v) | ✗ 3c, 2v (checked 2c, 2-11v) | ✗ 3c, 2v (checked 2c, 2-11v) |
| Baldwin | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v (ref) | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v |
| Baldwin PUT | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v |
| Banks | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v |
| Beat Path | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v (ref) | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v (ref) | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v (ref) | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v (ref) |
| Benham | ✗ 3c, 6v (checked 2c, 2-11v) | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✗ 3c, 6v (checked 2c, 2-11v) |
| Benham PUT | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v |
| Benham TB | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v |
| Blacks | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✗ 4c, 8v (checked 2c, 2-11v; 3c, 2-33v) |
| Borda | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v (ref) | ✗ 3c, 3v (checked 2c, 2-11v) | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v (ref) | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v (ref) | ✗ 3c, 3v (checked 2c, 2-11v) |
| Borda-Minimax Faceoff | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v |
| Bottom-Two-Runoff Instant Runoff | ✗ 3c, 6v (checked 2c, 2-11v) | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✗ 3c, 6v (checked 2c, 2-11v) |
| Bottom-Two-Runoff Instant Runoff PUT | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v |
| Bucklin | ✗ 3c, 6v (checked 2c, 2-11v) | ✗ 3c, 5v (checked 2c, 2-11v) | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✗ 3c, 5v (checked 2c, 2-11v) |
| Condorcet | ✗ 3c, 2v (checked 2c, 2-11v) | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✗ 3c, 2v (checked 2c, 2-11v) | ✗ 3c, 2v (checked 2c, 2-11v) | ✗ 3c, 2v (checked 2c, 2-11v) |
| Condorcet IRV | ✗ 3c, 6v (checked 2c, 2-11v) | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✗ 3c, 6v (checked 2c, 2-11v) |
| Condorcet IRV PUT | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✗ 4c, 6v (checked 2c, 2-11v; 3c, 2-33v) |
| Condorcet Plurality | ✗ 3c, 6v (checked 2c, 2-11v) | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✗ 3c, 6v (checked 2c, 2-11v) |
| Consensus Builder | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v |
| Coombs | ✗ 3c, 6v (checked 2c, 2-11v) | ✗ 3c, 9v (checked 2c, 2-11v) | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✗ 3c, 6v (checked 2c, 2-11v) |
| Coombs PUT | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✗ 3c, 9v (checked 2c, 2-11v) | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✗ 3c, 9v (checked 2c, 2-11v) |
| Coombs TB | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✗ 3c, 13v (checked 2c, 2-11v) | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✗ 3c, 13v (checked 2c, 2-11v) |
| Copeland | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v |
| Copeland-Global-Borda | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v |
| Copeland-Global-Minimax | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v |
| Copeland-Local-Borda | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v |
| Copeland-Local-Minimax | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v |
| Daunou | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✗ 4c, 4v (checked 2c, 2-11v; 3c, 2-33v) |
| Dodgson | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-9v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-9v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-9v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-9v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-9v; 5c, 2-4v; 6c, 2v |
| GOCHA | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v) | ✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v) | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v |
| Instant Runoff | ✗ 3c, 3v (checked 2c, 2-11v) | ✗ 3c, 3v (checked 2c, 2-11v) | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✗ 3c, 3v (checked 2c, 2-11v) |
| Instant Runoff PUT | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✗ 3c, 3v (checked 2c, 2-11v) | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✗ 3c, 3v (checked 2c, 2-11v) |
| Instant Runoff TB | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✗ 3c, 5v (checked 2c, 2-11v) | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✗ 3c, 5v (checked 2c, 2-11v) |
| Iterated Removal Condorcet Loser | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✗ 3c, 2v (checked 2c, 2-11v) | ✗ 3c, 2v (checked 2c, 2-11v) | ✗ 3c, 2v (checked 2c, 2-11v) | ✗ 3c, 2v (checked 2c, 2-11v) |
| Kemeny-Young | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v |
| Knockout Voting | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v |
| Leximax | ✗ 4c, 9v (checked 2c, 2-11v; 3c, 2-20v) | ✓ 2c, 2-11v; 3c, 2-20v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-20v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-20v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✗ 4c, 9v (checked 2c, 2-11v; 3c, 2-20v) |
| Llull | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-3v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-3v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-3v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-3v; 6c, 2v |
| Loss-Trimmer Voting | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v |
| Minimax | ✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v) | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v (ref) | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v (ref) | ✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v) |
| Minimax (Support) | ✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v) | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v) |
| Most Wins, Smallest Loss | ✓ 2c, 2-11v; 3c, 2-20v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-20v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-20v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-20v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-20v; 4c, 2-10v; 5c, 2-4v; 6c, 2v |
| Pareto | ✗ 2c, 4v | ✗ 2c, 4v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✗ 2c, 4v |
| Plurality | ✗ 3c, 3v (checked 2c, 2-11v) | ✗ 3c, 3v (checked 2c, 2-11v) | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✗ 3c, 3v (checked 2c, 2-11v) |
| Plurality with Runoff PUT | ✓ 2c, 4c, 2-11v; 3c, 2-20v; 5c, 2-4v; 6c, 2v | ✗ 3c, 3v (checked 2c, 2-11v) | ✓ 2c, 4c, 2-11v; 3c, 2-20v; 5c, 2-4v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-20v; 5c, 2-4v; 6c, 2v | ✗ 3c, 3v (checked 2c, 2-11v) |
| Positive-Negative Voting | ✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v) | ✗ 3c, 3v (checked 2c, 2-11v) | ✗ 4c, 2v (checked 2c, 2-11v; 3c, 2-33v) | ✗ 4c, 2v (checked 2c, 2-11v; 3c, 2-33v) | ✗ 3c, 3v (checked 2c, 2-11v) |
| Preliminary Weighted Condorcet | ✗ 2c, 2v | ✗ 2c, 2v | ✗ 2c, 2v | ✗ 2c, 2v | ✗ 2c, 2v |
| Ranked Pairs TB | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v |
| Ranked Pairs ZT | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v |
| Raynaud | ✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v) | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v) |
| River TB | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v |
| River ZT | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v |
| Simple Stable Voting | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v |
| Simplified Bucklin | ✗ 3c, 5v (checked 2c, 2-11v) | ✗ 3c, 3v (checked 2c, 2-11v) | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✗ 3c, 3v (checked 2c, 2-11v) |
| Simplified Dodgson | ✗ 4c, 9v (checked 2c, 2-11v; 3c, 2-20v) | ✓ 2c, 2-11v; 3c, 2-20v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-20v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-20v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✗ 4c, 9v (checked 2c, 2-11v; 3c, 2-20v) |
| Slater | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v |
| Smith IRV | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v |
| Smith IRV PUT | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v |
| Smith-Minimax | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v |
| Split Cycle | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v |
| Stable Voting | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v |
| Strict Nanson | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-3v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-3v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-3v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-3v; 6c, 2v |
| Superior Voting | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v) | ✗ 5c, 3v (checked 2c, 2-11v; 3c, 2-33v; 4c, 2-10v) | ✗ 5c, 3v (checked 2c, 2-11v; 3c, 2-33v; 4c, 2-10v) | ✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v) |
| Tideman Alternative GOCHA | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-3v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-3v; 6c, 2v | ✗ 4c, 4v (checked 2c, 2-11v; 3c, 2-33v) | ✗ 4c, 4v (checked 2c, 2-11v; 3c, 2-33v) | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-3v; 6c, 2v |
| Tideman Alternative GOCHA PUT | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✗ 3c, 2v (checked 2c, 2-11v) | ✗ 3c, 2v (checked 2c, 2-11v) | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v |
| Tideman Alternative Top Cycle | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v |
| Tideman Alternative Top Cycle PUT | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v |
| Top Cycle | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✗ 3c, 2v (checked 2c, 2-11v) | ✗ 3c, 2v (checked 2c, 2-11v) | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v |
| Uncovered Set | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v |
| Uncovered Set - Bordes | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v |
| Uncovered Set - Fishburn | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v |
| Uncovered Set - McKelvey | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v |
| Weak Condorcet | ✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v) | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v) | ✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v) | ✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v) |
| Weak Nanson | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v |
| Weighted Bucklin | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✗ 3c, 5v (checked 2c, 2-11v) | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✗ 3c, 5v (checked 2c, 2-11v) |
| Weighted Covering | ✗ 4c, 9v (checked 2c, 2-11v; 3c, 2-33v) | ✗ 3c, 3v (checked 2c, 2-11v) | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v | ✗ 3c, 3v (checked 2c, 2-11v) |
| Woodall | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-4v; 6c, 2v | ✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v |