Well, guys! I think you don't have to suffer in a pawn endgame, no matter how complex it is.
There are some modern ways for analysis that can solve things easily. For example, there is a tool called "IDea" in the ChessOK Aquarium GUI. It is a fantastic tool for analysis, that can solve problems by pure force calculating. Ir generates a move, steps on it and goes deeper, creating a web of moves like a spider. 150.000 - 200.000 positions/moves can be created for 4 to 10 days depending on the processors' power of your computer, every one of them calculated at 30 plys depth or more depending on the settings you use. It creates a tree which can be very 'heavy' in GBs, but nothing exceptional. Every top correspondence chess player uses this tool. The so-called "infinite analysis", even at 45 plys depth, can't beat it. When using this IDea tool for analysis one can easily see how incompetent can be the usual "infinite" one that everyone uses.
Anyway, the only problem is that this IDea tool is very hard to master in order to become skilled in analysing with it. I for one spent two years of my leisure time to gain command of it. Not to mention the processors' time which went for it..
As for the opponent guy - he probably used this tool to solve this pawn endgame. Not a hard task I suppose - only a matter of time.
When a correspondence chess player uses this tool properly for analysing his games he practically can't lose. All he needs is entering a decent opening line which evaluation is close to equal. The only problem is the time. Right now, I play more than 45 correspondence chess games and in fact I can use this tool for no more than 10 of these.
And I'm really sorry I can't help you in this endgame. I'll start playing 10 more games in the 1st of November... Anyway, not helping you may be for good. After all, what's the beauty in analysing a pawn endgame by pure force and mechanical skills!?
I don't have "IDea" in the ChessOK Aquarium GUI but I do believe my method of analyzing also produces good results. It is a far more complex method than purely relying on infinite analysis, described in
. (maybe I will translate it once to English as it is rather technical and likely difficult to read via googletranslate)
B.t.w. I've the impression that there is little difference between this idea-tool and the correspondence analysis mode available in engines running under the standard chessbase GUI.