Simplified Dodgson

Violation of Participation

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

WARNING: Violation no longer found during regeneration!

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

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

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

Method result: [3]

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