@Remellion: Short of a revelation from an omniscient being, I don't think a human can solve it without computer help. Clearly, Labelle had a great deal of computer help.
Massacre-like proof games are much more difficult to solve than most other types due to the absence of clues! Usually the structure of the remaining units is a tell-tale for the earlier proceedings but here there is none. The only comparably difficult SPG's are the ones with say 12 rooks in the diagram. They are all visible but how to tell where each one came from?
@Remellion: Short of a revelation from an omniscient being, I don't think a human can solve it without computer help. Clearly, Labelle had a great deal of computer help.
Massacre-like proof games are much more difficult to solve than most other types due to the absence of clues! Usually the structure of the remaining units is a tell-tale for the earlier proceedings but here there is none. The only comparably difficult SPG's are the ones with say 12 rooks in the diagram. They are all visible but how to tell where each one came from?