apapgxyyapfxapfappgx2.1apfxapfappgxapfx0apfxapfappgxtrueapfxapfappgxaprove.DPFramework.DPProblem.Processors.ATransformationProcessor.ATransformationProofapfxapfappgxtruefxfgxtruefgz0fggz0fggz0fgggz0fggz0fggz0fgggz0fgggz0z0gz0AProVEunknownStatistics for single proof: 88,89 % (8 real / 1 unknown / 0 assumptions / 9 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe