Variante 3 klingt spannend, ich sehe aber das Problem, dass über die Saison selten eine konstante Zahl an Mittippern vorhanden - das wäre enorm Aufwand alles rückzurechnen für Wocki wenn jemand nach Spieltag 10 aussteigt...
Auch wenn im Pokal wenig Spiele im Pokal-Tippspiel sein werden (im Vergleich zur Liga), bin ich für Variante 2