Leximax

Violation of Strategy Proofness

Profile type: Profile
Config: 3 c, 2 v
Parameters: ∅

WARNING: Violation no longer found during regeneration!

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

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

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

Method result: [1, 2]

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