| A | B | C | D | E | F | G | O | P | Q | R | S | T | U | AB | AC | AD | AE | AF | AG | AH | AI | AJ | AK | AL | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | shares → | 1 | 1 | 1 | 1 | 1 | 5 | ← sum of shares | |||||||||||||||||
2 | options ↓ players → | B | D | F | C | X | Σ | Σ - B | Σ - D | Σ - F | Σ - C | Σ - X | Σ - CAM | (tie-breaking) | |||||||||||
3 | 1 | B, D | 1 | 1 | 2.00 | 2.00 | 1.00 | 2.00 | 2.00 | 1.00 | 2.00 | 1 | 0.000072 | ||||||||||||
4 | 2 | B, X | 0.5 | 0.50 | 0.50 | 0.50 | 0.50 | 0.50 | 0.00 | 0.50 | 2 | 0.000083 | |||||||||||||
5 | 3 | D, X | 0.6 | 1 | 1.60 | 1.00 | 0.60 | 1.60 | 1.60 | 1.60 | 1.60 | 3 | 0.000073 | ||||||||||||
6 | 4 | B | 1 | 1 | 2.00 | 1.00 | 2.00 | 2.00 | 2.00 | 1.00 | 2.00 | 4 | 0.000097 | ||||||||||||
7 | 5 | D | 0.5 | 1 | 1.50 | 1.00 | 0.50 | 1.50 | 1.50 | 1.50 | 1.50 | 5 | 0.000068 | ||||||||||||
8 | 6 | X | 0.5 | 0.50 | 0.00 | 0.50 | 0.50 | 0.50 | 0.50 | 0.50 | 6 | 0.000080 | |||||||||||||
9 | 7 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 7 | 0.000079 | |||||||||||||||
10 | 8 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 8 | 0.000039 | |||||||||||||||
27 | range voting multipliers → | 1 | 1 | 1 | 1 | 1 | B | D | F | C | X | CAM | (the "you" below refers to each person listed to the left) | ||||||||||||
28 | Winning option | 4 | 1 | 4 | 4 | 4 | 3 | 4 | Option that would've won w/out you: whether you're pivotal | ||||||||||||||||
29 | Instructions for 2-phase table auction | 2.00 | 2.00 | 2.00 | 2.00 | 2.00 | 1.60 | 2.00 | How happy everyone else could've been without you | ||||||||||||||||
30 | with range voting: (1) Enter your 0-1 | Total utility for winning option | 2.00 | 1.00 | 1.00 | Your utility for the winning option: what you bid on what won | |||||||||||||||||||
31 | ratings in place of bids, publicly. (2) Fill | Total Clarke tax paid into pot | 1.60 | 1.00 | 0.00 | 0.00 | 0.00 | 0.60 | 0.00 | Amount you pay into the pot: externality you impose | |||||||||||||||
32 | in the range voting multipliers as | PURE VCG, amount burned | -1.60 | -1.00 | 0.00 | 0.00 | 0.00 | -0.60 | 0.00 | Net payments for PURE VCG | |||||||||||||||
33 | sealed bids. This BIDIFY button | ↳ Nominal net utility | 0.40 | 0.00 | 0 | 0 | 0 | 0.40 | 0 | Net utility (utility of winning option net of paymt) for PURE VCG | |||||||||||||||
34 | multiplies the bids by the corresponding | 1.00 | 1.00 | 0.00 | 0.00 | 1.00 | 0.00 | How happy you could've been: utility of your favorite option | |||||||||||||||||
35 | multiplier but that also | Total disappointment qua shares | 1.00 | 0.00 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | Delta of your favorite vs what won: how disappointed you are | |||||||||||||||
36 | happens automatically. | 1.60 | 0 | 1.6 | 0 | 0 | 0 | 0 | How much of the pot you get with VCG w/ RE-DIS-TRIB | ||||||||||||||||
37 | VCG w/ RE-DIS-TRIB | 0.00 | -1.00 | 1.60 | 0.00 | 0.00 | -0.60 | 0.00 | Net payments for VCG w/ RE-DIS-TRIB | ||||||||||||||||
38 | ↳ Nominal net utility | 2.00 | 0 | 1.60 | 0 | 0 | 0.40 | 0 | Net utility for VCG w/ RE-DIS-TRIB | ||||||||||||||||
39 | Total explicit shares | 5 | 1 | 1 | 1 | 1 | 1 | Your shares of the pot | |||||||||||||||||
40 | 1.00 | 0.32 | 0.32 | 0.32 | 0.32 | 0.32 | 0.00 | How much of the pot you get with VCG w/ SHARES | |||||||||||||||||
41 | VCG w/ SHARES | 0.00 | -0.68 | 0.32 | 0.32 | 0.32 | -0.28 | 0.00 | Net payments for VCG w/ SHARES | ||||||||||||||||
42 | ↳ Nominal net utility | 2.00 | 0.32 | 0.32 | 0.32 | 0.32 | 0.72 | 0 | Net utility for VCG w/ SHARES | ||||||||||||||||
43 | Total pot with MAXPAY | 2.00 | 1.00 | 1.00 | Amount you pay into the pot: your bid for the winning option | ||||||||||||||||||||
44 | 0 | 2 | 0 | 0 | 0 | 0 | How much of the pot you get with MAXPAY w/ RE-DIS-TRIB | ||||||||||||||||||
45 | MAXPAY w/ RE-DIS-TRIB | 0 | -1.0 | 2.00 | 0 | 0 | -1.0 | 0 | Net payments for MAXPAY w/ RE-DIS-TRIB | ||||||||||||||||
46 | ↳ Nominal net utility | 0 | 2.00 | 0 | 0 | 0 | 0 | Net utility for MAXPAY w/ RE-DIS-TRIB | |||||||||||||||||
47 | 2 | 0.4 | 0.4 | 0.4 | 0.4 | 0.4 | 0 | How much of the pot you get with MAXPAY w/ SHARES | |||||||||||||||||
48 | MAXPAY w/ SHARES | 0.00 | -0.6 | 0.40 | 0.40 | 0.40 | -0.6 | 0 | Net payments for MAXPAY w/ SHARES | ||||||||||||||||
49 | ↳ Nominal net utility | 2.00 | 0.40 | 0.40 | 0.40 | 0.40 | 0.40 | 0 | Net utility for MAXPAY w/ SHARES | ||||||||||||||||
50 | B | D | F | C | X | CAM | |||||||||||||||||||
51 | iou[2025.12.05, 1.6, 1B+0.6X, FIRE, "PURE VCG: B"] | ||||||||||||||||||||||||
52 | iou[2025.12.05, 1.6, 1B+0.6X, 1D, "VCG w/ RE-DIS-TRIB: B"] | ||||||||||||||||||||||||
53 | iou[2025.12.05, 1.6, 1B+0.6X, 1B+1D+1F+1C+1X, "VCG w/ SHARES: B"] | ||||||||||||||||||||||||
54 | iou[2025.12.05, 2, 1B+1X, 1D, "MAXPAY w/ RE-DIS-TRIB: B"] | ||||||||||||||||||||||||
55 | iou[2025.12.05, 2, 1B+1X, 1B+1D+1F+1C+1X, "MAXPAY w/ SHARES: B"] | ||||||||||||||||||||||||
56 | |||||||||||||||||||||||||
57 | |||||||||||||||||||||||||
58 | |||||||||||||||||||||||||
59 | |||||||||||||||||||||||||
60 | |||||||||||||||||||||||||
61 | |||||||||||||||||||||||||
62 | |||||||||||||||||||||||||
63 | |||||||||||||||||||||||||
64 | |||||||||||||||||||||||||
65 | |||||||||||||||||||||||||
66 | |||||||||||||||||||||||||
67 | |||||||||||||||||||||||||
68 | |||||||||||||||||||||||||
69 | |||||||||||||||||||||||||
70 | |||||||||||||||||||||||||
71 | |||||||||||||||||||||||||
72 | |||||||||||||||||||||||||
73 | |||||||||||||||||||||||||
74 | |||||||||||||||||||||||||
75 | |||||||||||||||||||||||||
76 | |||||||||||||||||||||||||
77 | |||||||||||||||||||||||||
78 | |||||||||||||||||||||||||
79 | |||||||||||||||||||||||||
80 | |||||||||||||||||||||||||
81 | |||||||||||||||||||||||||
82 | |||||||||||||||||||||||||
83 | |||||||||||||||||||||||||
84 | |||||||||||||||||||||||||
85 | |||||||||||||||||||||||||
86 | |||||||||||||||||||||||||
87 | |||||||||||||||||||||||||
88 | |||||||||||||||||||||||||
89 | |||||||||||||||||||||||||
90 | |||||||||||||||||||||||||
91 | |||||||||||||||||||||||||
92 | |||||||||||||||||||||||||
93 | |||||||||||||||||||||||||
94 | |||||||||||||||||||||||||
95 | |||||||||||||||||||||||||
96 | |||||||||||||||||||||||||
97 | |||||||||||||||||||||||||
98 | |||||||||||||||||||||||||
99 | |||||||||||||||||||||||||
100 | |||||||||||||||||||||||||
101 | |||||||||||||||||||||||||
102 | |||||||||||||||||||||||||
103 | |||||||||||||||||||||||||
104 | |||||||||||||||||||||||||
105 | |||||||||||||||||||||||||
106 | |||||||||||||||||||||||||
107 | |||||||||||||||||||||||||
108 | |||||||||||||||||||||||||
109 | |||||||||||||||||||||||||
110 | |||||||||||||||||||||||||
111 | |||||||||||||||||||||||||
112 | |||||||||||||||||||||||||
113 | |||||||||||||||||||||||||
114 | |||||||||||||||||||||||||
115 | |||||||||||||||||||||||||
116 |