No in total, his is about 4 1/2 hours mining, i have a stack and a half of coal and 8 diamonds. I was able to create a quarry with that and a minium stone and in the probably 11 hours it's been running it has dug up 4 coal and no diamonds.
On a brighter side i found two ravines and a stronghold, right under my house while mining!