You can figure these out because 100 games with 76 draws you only need one other number to figure the totals. I think it would be better to just print the whole line, because obviously people can be confused by it. By the way, it takes thousands of games when the engines are close to really know ...
Yes I have PGN files for those games. The time setting is 5 seconds per move, no game time limit. Using 64bit and good hardware. After 50 more games Houdini took a clear lead.