Simplified Dodgson

Violation of Strategy Proofness

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

WARNING: Violation no longer found during regeneration!

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

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

Rankings and counts:
  1 ( 0  2 )  : 1
  2 0 1  : 1
  ( 0  1 ) 2  : 1

Method result: [0, 1]

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