I've just checked on the Schwalbe database and found a PG in 8.0 moves where the stipulation is "2 solutions, each with 2 variations".
It would be interesting to know Euclide's verdict on this position. The output from Stelvio 1.6 says "Found 4 solutions. The problem is correct. Solving time: 00:00:01 seconds."
Apparently it makes no distinction between solutions based on their starting moves.
Euclide also considers it sound with 4 distinct solutions. I didn't test it because I saw the "C+" next to the diagram on the database. Looking at that page again, it actually mentions the software used was Euclide!
I still haven't tried Stelvio, even though when I googled it I learned that it's supposed to be much faster than Euclide. Maybe I'll check it out and cover it as a blog topic.
I think so too, but he didn't word his question as a challenge. If he had said "you" instead of "anyone", it would be a challenge. (And I wanted to show the one from Labelle, since I think it's neat.)
Yes, it's lovely! Rocky's 2x2 is good as well but a bit technical. Labelle's is more pleasing to the eye.