I did a more accurate calculation and I see now we have a 18% change of solving.
Here is the formula based on the wiki birthday page:
100*(1-exp(-((0xAD87E3B2BA1AE)**2)/(2*(2**112/(2*113)))))
Put this into google and it should print out ~18.36
0xAD87E3B2BA1AE is the current iteration of today
When we hit 2^52 iterations we have a ~35.69% chance of solving.
100*(1-exp(-((2**52)**2)/(2*(2**112/(2*113)))))
2^53 would give ~83% so I don't think we need to go this far
Need more CPU's
