Simplified Dodgson

Violation of Strategy Proofness

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

WARNING: Violation no longer found during regeneration!

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

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

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

Method result: [2]

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