Leximax

Violation of Participation

Profile type: Profile
Config: 4 c, 7 v
Parameters: ∅

WARNING: Violation no longer found during regeneration!

Method: Leximax
Axiom: participation
Parameters: {}
Profile type: Profile
Expected type: Profile
Candidates: [0, 1, 2, 3]
Number of voters: 7

Profile details:
+---+---+---+---+---+
| 1 | 2 | 1 | 1 | 2 |
+---+---+---+---+---+
| 0 | 1 | 2 | 2 | 3 |
| 3 | 0 | 1 | 1 | 2 |
| 2 | 3 | 0 | 3 | 1 |
| 1 | 2 | 3 | 0 | 0 |
+---+---+---+---+---+

Rankings and counts:
  [0 3 2 1] : 1
  [1 0 3 2] : 2
  [2 1 0 3] : 1
  [2 1 3 0] : 1
  [3 2 1 0] : 2

Method result: [3]

[Note: This violation was found previously but cannot be reproduced during regeneration]