we're putting out an update, and it will fix it. that's what we can do. it's the best we can do. no, they did not 13 hours of coins. it was some blocks during a 3 hour period.
something around ~250k coins, and the attack probably cost alot more than that, luckily.
we are glad this was brought to our attention, and we are already working on a sophisticated block verification routine.
Sorry this is not true, the attack started on block 2007365 and ended on block 2010039 = 2674 blocks, okay lets say 2500 blocks...
One Block makes about 1560 coins, so you have 2500 * 1560 = 3.900.000 "extra" coins generated (at least!) ....
I've listed a few of the attackers addresses in the first post.. Just check them, check the balance and if you're curious, just go through all the blocks during that timespan and sum them up.. It's actually easy when you have a blockexplorer database running.. You can do it via SQL query.
not all blocks during that time were mined by them, i checked. it was much less than half from what i saw across the other pools.