September 26, 2014 12:31 a.m.
If I hit no creatures in the top four cards, you are correct.
September 26, 2014 12:44 a.m.
Both Halimar Excavator abilities are put on the stack. When the first one resolves, 4 cards get milled. Assume all of those cards are creatures. You get 4 Zombie Ally tokens. Both Halimar Excavator abilities are put onto the stack again, 4 times each. There are now 9 of these triggered abilities on the stack. The next one that resolves will mill you 8 cards, and the cycle continues. If you keep milling creature cards, you will end up milling your entire library.
September 26, 2014 12:59 a.m.
So a minimum of eight cards, and then X * 2 more for each creature card milled where X is the number of allies you control, which increases by 1 for each creature card milled. Seems legit.
September 26, 2014 1:14 a.m.
Can someone convert that to a mathematical formula? I can't, because I suck at math, but I would like to see how that looks in an equation.
September 26, 2014 1:15 a.m.
+ + could be an interesting combo with Labratory Maniac, or any other ally that has abilities that trigger when other allies enter the battlefield. Not the most efficient combo, but could be a fun casual deck.
September 26, 2014 1:26 a.m.
It's complicated to calculate because every time a trigger resolves, if you've hit a creature you now have another (minimum) two triggers to resolve before you know X for the original trigger.
September 26, 2014 9:39 a.m.
I'm going to mark Fulcrum's first response because it technically answers what I asked, even if it was kind of a trick question.
I'd still like to see a formula though, that would make life easier.
September 26, 2014 9:30 p.m.
Here's the formula where x=number of creature cards hit in the first 8, y=number of creature cards hit in the next wave of milling, z=number of creature cards hit in the third wave of milling, etc.
So assume each time 1/3 of the cards are creatures.
8+2(2+4)+4(2+4+4)+13(2+4+4+13)+HugeNumber(2+4+4+13+HugeNumber) and so on
which is more than enough to mill everyone.
September 26, 2014 9:49 p.m.
I'll expand it more.
five rounds of milling and an average of approximately 520000 cards milled or 8600 decks.