Variable Candidate Axioms (for Profile class)

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.

MethodIndependence of Pareto-Dominated AlternativesIndependence of Smith-Dominated AlternativesImmunity to SpoilersIndependence of ClonesStability for Winners
Anti-Plurality✗ 3c, 2v (checked 2c, 2-11v)✗ 3c, 2v (checked 2c, 2-11v)✗ 3c, 3v (checked 2c, 2-11v)✗ 3c, 2v (checked 2c, 2-11v)✗ 3c, 3v (checked 2c, 2-11v)
Baldwin✗ 4c, 6v (checked 2c, 2-11v; 3c, 2-33v)✓ 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)✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)
Baldwin PUT✗ 4c, 4v (checked 2c, 2-11v; 3c, 2-33v)✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v✗ 4c, 5v (checked 2c, 2-11v; 3c, 2-33v)✗ 4c, 4v (checked 2c, 2-11v; 3c, 2-33v)✗ 4c, 5v (checked 2c, 2-11v; 3c, 2-33v)
Banks✗ 4c, 6v (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-3v; 6c, 2v✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v
Beat Path✗ 5c, 3v (checked 2c, 2-11v; 3c, 2-33v; 4c, 2-10v)✓ 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, 9v (checked 2c, 2-11v; 3c, 2-33v)
Benham✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)
Benham PUT✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v✗ 3c, 6v (checked 2c, 2-11v)✗ 3c, 6v (checked 2c, 2-11v)✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v✗ 3c, 6v (checked 2c, 2-11v)
Benham TB✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v✗ 3c, 10v (checked 2c, 2-11v)✗ 3c, 10v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 8v (checked 2c, 2-11v)
Blacks✗ 3c, 2v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)
Borda✗ 3c, 2v (checked 2c, 2-11v)✗ 3c, 3v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)
Borda-Minimax Faceoff✗ 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)✗ 4c, 5v (checked 2c, 2-11v; 3c, 2-33v)✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)
Bottom-Two-Runoff Instant Runoff✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)✗ 3c, 6v (checked 2c, 2-11v)✗ 3c, 8v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 8v (checked 2c, 2-11v)
Bottom-Two-Runoff Instant Runoff PUT✗ 4c, 4v (checked 2c, 2-11v; 3c, 2-33v)✗ 3c, 12v (checked 2c, 2-11v)✗ 3c, 12v (checked 2c, 2-11v)✗ 4c, 4v (checked 2c, 2-11v; 3c, 2-33v)✗ 3c, 12v (checked 2c, 2-11v)
Bucklin✗ 3c, 2v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 2v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)
Condorcet✗ 3c, 2v (checked 2c, 2-11v)✗ 3c, 2v (checked 2c, 2-11v)✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v✗ 3c, 2v (checked 2c, 2-11v)✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v
Condorcet IRV✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)
Condorcet IRV PUT✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v✗ 3c, 6v (checked 2c, 2-11v)✗ 3c, 6v (checked 2c, 2-11v)✗ 4c, 6v (checked 2c, 2-11v; 3c, 2-33v)✗ 3c, 6v (checked 2c, 2-11v)
Condorcet Plurality✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (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✗ 4c, 5v (checked 2c, 2-11v; 3c, 2-33v)✗ 3c, 4v (checked 2c, 2-11v)✗ 4c, 5v (checked 2c, 2-11v; 3c, 2-33v)
Coombs✗ 3c, 2v (checked 2c, 2-11v)✗ 3c, 6v (checked 2c, 2-11v)✗ 3c, 8v (checked 2c, 2-11v)✗ 3c, 2v (checked 2c, 2-11v)✗ 3c, 8v (checked 2c, 2-11v)
Coombs PUT✗ 4c, 4v (checked 2c, 2-11v; 3c, 2-33v)✗ 3c, 9v (checked 2c, 2-11v)✗ 3c, 10v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 10v (checked 2c, 2-11v)
Coombs TB✗ 4c, 4v (checked 2c, 2-11v; 3c, 2-33v)✗ 3c, 13v (checked 2c, 2-11v)✗ 3c, 13v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 10v (checked 2c, 2-11v)
Copeland✗ 3c, 2v (checked 2c, 2-11v)✓ 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✗ 3c, 4v (checked 2c, 2-11v)✗ 5c, 4v (checked 2c, 2-11v; 3c, 2-33v; 4c, 2-10v)
Copeland-Global-Borda✗ 3c, 2v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)
Copeland-Global-Minimax✗ 3c, 2v (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, 4v (checked 2c, 2-11v)✗ 4c, 9v (checked 2c, 2-11v; 3c, 2-33v)
Copeland-Local-Borda✗ 3c, 2v (checked 2c, 2-11v)✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)✗ 3c, 4v (checked 2c, 2-11v)✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)
Copeland-Local-Minimax✗ 3c, 2v (checked 2c, 2-11v)✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)✗ 3c, 4v (checked 2c, 2-11v)✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)
Daunou✗ 4c, 4v (checked 2c, 2-11v; 3c, 2-33v)✗ 4c, 4v (checked 2c, 2-11v; 3c, 2-33v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)
Dodgson✓ 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, 4v (checked 2c, 2-11v)✗ 3c, 7v (checked 2c, 2-11v)
GOCHA✗ 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-3v; 6c, 2v✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v
Instant Runoff✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v✗ 3c, 3v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (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)✗ 3c, 5v (checked 2c, 2-11v)✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v✗ 3c, 5v (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)✗ 3c, 5v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 5v (checked 2c, 2-11v)
Iterated Removal Condorcet Loser✗ 3c, 2v (checked 2c, 2-11v)✗ 3c, 2v (checked 2c, 2-11v)✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v✗ 3c, 4v (checked 2c, 2-11v)✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v
Kemeny-Young✗ 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)
Knockout Voting✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)✗ 3c, 4v (checked 2c, 2-11v)✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)
Leximax✗ 3c, 2v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)
Llull✗ 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✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)✓ 2c, 4c, 2-11v; 3c, 2-33v; 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✗ 4c, 6v (checked 2c, 2-11v; 3c, 2-33v)✗ 4c, 6v (checked 2c, 2-11v; 3c, 2-33v)✗ 4c, 6v (checked 2c, 2-11v; 3c, 2-33v)
Minimax✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v✗ 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, 9v (checked 2c, 2-11v; 3c, 2-33v)
Minimax (Support)✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v✗ 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, 9v (checked 2c, 2-11v; 3c, 2-33v)
Most Wins, Smallest Loss✗ 3c, 2v (checked 2c, 2-11v)✓ 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✗ 3c, 4v (checked 2c, 2-11v)✗ 4c, 9v (checked 2c, 2-11v; 3c, 2-20v)
Pareto✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v✗ 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, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v
Plurality✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v✗ 3c, 3v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (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)✗ 3c, 5v (checked 2c, 2-11v)✗ 4c, 4v (checked 2c, 2-11v; 3c, 2-20v)✗ 3c, 5v (checked 2c, 2-11v)
Positive-Negative Voting✗ 3c, 2v (checked 2c, 2-11v)✗ 3c, 3v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)
Preliminary Weighted Condorcet✗ 2c, 2v✗ 2c, 2v✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)✗ 3c, 3v (checked 2c, 2-11v)✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)
Ranked Pairs TB✗ 3c, 2v (checked 2c, 2-11v)✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v✗ 4c, 5v (checked 2c, 2-11v; 3c, 2-33v)✗ 3c, 4v (checked 2c, 2-11v)✗ 4c, 5v (checked 2c, 2-11v; 3c, 2-33v)
Ranked Pairs ZT✗ 4c, 4v (checked 2c, 2-11v; 3c, 2-33v)✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v✗ 4c, 4v (checked 2c, 2-11v; 3c, 2-33v)✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v (ref)✗ 4c, 4v (checked 2c, 2-11v; 3c, 2-33v)
Raynaud✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)✗ 4c, 6v (checked 2c, 2-11v; 3c, 2-33v)✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)✗ 4c, 6v (checked 2c, 2-11v; 3c, 2-33v)
River TB✗ 3c, 2v (checked 2c, 2-11v)✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v✗ 4c, 5v (checked 2c, 2-11v; 3c, 2-33v)✗ 3c, 4v (checked 2c, 2-11v)✗ 4c, 5v (checked 2c, 2-11v; 3c, 2-33v)
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✗ 4c, 5v (checked 2c, 2-11v; 3c, 2-33v)✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v✗ 4c, 5v (checked 2c, 2-11v; 3c, 2-33v)
Simple Stable Voting✗ 3c, 2v (checked 2c, 2-11v)✗ 3c, 6v (checked 2c, 2-11v)✗ 3c, 6v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 6v (checked 2c, 2-11v)
Simplified Bucklin✗ 3c, 2v (checked 2c, 2-11v)✗ 3c, 3v (checked 2c, 2-11v)✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)✗ 3c, 2v (checked 2c, 2-11v)✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)
Simplified Dodgson✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-20v)✗ 4c, 9v (checked 2c, 2-11v; 3c, 2-20v)✓ 2c, 2-11v; 3c, 2-20v; 4c, 2-10v; 5c, 2-4v; 6c, 2v✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-20v)✗ 4c, 9v (checked 2c, 2-11v; 3c, 2-20v)
Slater✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)✓ 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)✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)
Smith IRV✗ 4c, 4v (checked 2c, 2-11v; 3c, 2-33v)✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)
Smith IRV PUT✗ 4c, 6v (checked 2c, 2-11v; 3c, 2-33v)✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v✗ 4c, 4v (checked 2c, 2-11v; 3c, 2-33v)✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v✗ 3c, 6v (checked 2c, 2-11v)
Smith-Minimax✗ 5c, 3v (checked 2c, 2-11v; 3c, 2-33v; 4c, 2-10v)✓ 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)✗ 4c, 9v (checked 2c, 2-11v; 3c, 2-33v)
Split Cycle✗ 4c, 8v (checked 2c, 2-11v; 3c, 2-33v)✓ 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-3v; 6c, 2v
Stable Voting✗ 3c, 2v (checked 2c, 2-11v)✗ 3c, 6v (checked 2c, 2-11v)✗ 3c, 6v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 6v (checked 2c, 2-11v)
Strict Nanson✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)✗ 4c, 8v (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)✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)
Superior Voting✗ 5c, 3v (checked 2c, 2-11v; 3c, 2-33v; 4c, 2-10v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)
Tideman Alternative GOCHA✗ 4c, 4v (checked 2c, 2-11v; 3c, 2-33v)✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)✗ 3c, 4v (checked 2c, 2-11v)✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)
Tideman Alternative GOCHA PUT✗ 3c, 2v (checked 2c, 2-11v)✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)
Tideman Alternative Top Cycle✗ 5c, 3v (checked 2c, 2-11v; 3c, 2-33v; 4c, 2-11v)✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)
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✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v✗ 3c, 6v (checked 2c, 2-11v)
Top Cycle✗ 3c, 2v (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-3v; 6c, 2v✓ 2c, 4c, 2-11v; 3c, 2-33v; 5c, 2-3v; 6c, 2v
Uncovered Set✗ 5c, 3v (checked 2c, 2-11v; 3c, 2-33v; 4c, 2-10v)✓ 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✗ 4c, 6v (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✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v
Uncovered Set - Fishburn✗ 5c, 3v (checked 2c, 2-11v; 3c, 2-33v; 4c, 2-10v)✓ 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)✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v
Uncovered Set - McKelvey✗ 4c, 4v (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✓ 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)✗ 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)✓ 2c, 2-11v; 3c, 2-33v; 4c, 2-10v; 5c, 2-4v; 6c, 2v
Weak Nanson✗ 3c, 2v (checked 2c, 2-11v)✗ 4c, 2v (checked 2c, 2-11v; 3c, 2-33v)✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)✗ 3c, 4v (checked 2c, 2-11v)✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)
Weighted Bucklin✗ 4c, 3v (checked 2c, 2-11v; 3c, 2-33v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)
Weighted Covering✗ 3c, 3v (checked 2c, 2-11v)✗ 3c, 3v (checked 2c, 2-11v)✓ 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
Woodall✗ 4c, 6v (checked 2c, 2-11v; 3c, 2-33v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)✗ 3c, 4v (checked 2c, 2-11v)