Input: profile with 8 voters and 6 candidates:
 voter 0:   {0, 4, 5},
 voter 1:   {0},
 voter 2:   {1, 4, 5},
 voter 3:   {1},
 voter 4:   {2, 4, 5},
 voter 5:   {2},
 voter 6:   {3, 4, 5},
 voter 7:   {3}

--------------------
Approval Voting (AV)
--------------------

6 winning committees:
 {0, 1, 4, 5}
 {0, 2, 4, 5}
 {0, 3, 4, 5}
 {1, 2, 4, 5}
 {1, 3, 4, 5}
 {2, 3, 4, 5}

----------------------------------
Satisfaction Approval Voting (SAV)
----------------------------------

15 winning committees:
 {0, 1, 2, 3}
 {0, 1, 2, 4}
 {0, 1, 2, 5}
 {0, 1, 3, 4}
 {0, 1, 3, 5}
 {0, 1, 4, 5}
 {0, 2, 3, 4}
 {0, 2, 3, 5}
 {0, 2, 4, 5}
 {0, 3, 4, 5}
 {1, 2, 3, 4}
 {1, 2, 3, 5}
 {1, 2, 4, 5}
 {1, 3, 4, 5}
 {2, 3, 4, 5}

----------------------------------
Proportional Approval Voting (PAV)
----------------------------------

6 winning committees:
 {0, 1, 4, 5}
 {0, 2, 4, 5}
 {0, 3, 4, 5}
 {1, 2, 4, 5}
 {1, 3, 4, 5}
 {2, 3, 4, 5}

-----------------------------------
Sainte-Laguë Approval Voting (SLAV)
-----------------------------------

9 winning committees:
 {0, 1, 2, 3}
 {0, 1, 2, 4}
 {0, 1, 2, 5}
 {0, 1, 3, 4}
 {0, 1, 3, 5}
 {0, 2, 3, 4}
 {0, 2, 3, 5}
 {1, 2, 3, 4}
 {1, 2, 3, 5}

--------------------------------
Approval Chamberlin-Courant (CC)
--------------------------------

1 winning committee:
 {0, 1, 2, 3}

-----------------------------------------
Lexicographic Chamberlin-Courant (lex-CC)
-----------------------------------------

1 winning committee:
 {0, 1, 2, 3}

----------------
2-Geometric Rule
----------------

14 winning committees:
 {0, 1, 2, 4}
 {0, 1, 2, 5}
 {0, 1, 3, 4}
 {0, 1, 3, 5}
 {0, 1, 4, 5}
 {0, 2, 3, 4}
 {0, 2, 3, 5}
 {0, 2, 4, 5}
 {0, 3, 4, 5}
 {1, 2, 3, 4}
 {1, 2, 3, 5}
 {1, 2, 4, 5}
 {1, 3, 4, 5}
 {2, 3, 4, 5}

-------------------------------------------------
Sequential Proportional Approval Voting (seq-PAV)
-------------------------------------------------

1 winning committee:
 {0, 1, 4, 5}

------------------------------------------------------------
Reverse Sequential Proportional Approval Voting (revseq-PAV)
------------------------------------------------------------

1 winning committee:
 {0, 1, 2, 4}

--------------------------------------------------
Sequential Sainte-Laguë Approval Voting (seq-SLAV)
--------------------------------------------------

1 winning committee:
 {0, 1, 2, 4}

-----------------------------------------------
Sequential Approval Chamberlin-Courant (seq-CC)
-----------------------------------------------

1 winning committee:
 {0, 1, 2, 4}

-----------------------------------------
Phragmén's Sequential Rule (seq-Phragmén)
-----------------------------------------

1 winning committee:
 {0, 1, 4, 5}

------------------------------------------
Phragmén's Minimax Rule (minimax-Phragmén)
------------------------------------------

1 winning committee:
 {0, 1, 2, 3}

------------------------------------------
Phragmén's Leximax Rule (leximax-Phragmén)
------------------------------------------

1 winning committee:
 {0, 1, 2, 3}

----------------------------
Maximin Support Method (MMS)
----------------------------

1 winning committee:
 {0, 1, 2, 4}

-------------------------------
Monroe's Approval Rule (Monroe)
-------------------------------

1 winning committee:
 {0, 1, 2, 3}

-------------
Greedy Monroe
-------------

1 winning committee:
 {0, 2, 3, 4}

-----------------------------
Minimax Approval Voting (MAV)
-----------------------------

15 winning committees:
 {0, 1, 2, 3}
 {0, 1, 2, 4}
 {0, 1, 2, 5}
 {0, 1, 3, 4}
 {0, 1, 3, 5}
 {0, 1, 4, 5}
 {0, 2, 3, 4}
 {0, 2, 3, 5}
 {0, 2, 4, 5}
 {0, 3, 4, 5}
 {1, 2, 3, 4}
 {1, 2, 3, 5}
 {1, 2, 4, 5}
 {1, 3, 4, 5}
 {2, 3, 4, 5}

-----------------------------------------------
Lexicographic Minimax Approval Voting (lex-MAV)
-----------------------------------------------

6 winning committees:
 {0, 1, 4, 5}
 {0, 2, 4, 5}
 {0, 3, 4, 5}
 {1, 2, 4, 5}
 {1, 3, 4, 5}
 {2, 3, 4, 5}

-------------------------------------------------------
Method of Equal Shares (aka Rule X) with Phragmén phase
-------------------------------------------------------

1 winning committee:
 {0, 1, 4, 5}

------------------------------------------------------
Method of Equal Shares (aka Rule X) with AV completion
------------------------------------------------------

1 winning committee:
 {0, 1, 4, 5}

-------------------------------------------------------------
Method of Equal Shares (aka Rule X) with increment completion
-------------------------------------------------------------

1 winning committee:
 {0, 1, 4, 5}

---------------------------
Method of Phragmén-Eneström
---------------------------

1 winning committee:
 {0, 1, 4, 5}

--------------
Consensus Rule
--------------

1 winning committee:
 {0, 1, 2, 4}

------------
Trivial Rule
------------

15 winning committees:
 {0, 1, 2, 3}
 {0, 1, 2, 4}
 {0, 1, 2, 5}
 {0, 1, 3, 4}
 {0, 1, 3, 5}
 {0, 1, 4, 5}
 {0, 2, 3, 4}
 {0, 2, 3, 5}
 {0, 2, 4, 5}
 {0, 3, 4, 5}
 {1, 2, 3, 4}
 {1, 2, 3, 5}
 {1, 2, 4, 5}
 {1, 3, 4, 5}
 {2, 3, 4, 5}

---------------------
E Pluribus Hugo (EPH)
---------------------

6 winning committees:
 {0, 1, 4, 5}
 {0, 2, 4, 5}
 {0, 3, 4, 5}
 {1, 2, 4, 5}
 {1, 3, 4, 5}
 {2, 3, 4, 5}

