cfn__gn__cfn__gXgactivateXgXn__gXcn__cactivaten__gXgXactivaten__ccactivateXX2.1aprove.DPFramework.TRSProblem.Processors.OTRSToCSRProcessor.OTRSToCSRProofcfn__gn__cfn__gXgactivateXgXn__gXcn__cactivaten__gXgXactivaten__ccactivateXXcf^0n__g^1n__cf^0n__g^1Xg^1activate^1Xf^0n__g^0Xg^1activate^0Xcn__cactivate^0n__g^1Xg^1Xactivate^0n__g^0Xg^0Xactivate^1n__ccf^1g^1Xf^0n__g^1Xn__g^1g^1Xn__g^0n__g^1Xs^1g^1Xs^0n__g^1X*top*^1g^1X*top*^0n__g^1Xf^1g^0Xf^0n__g^0Xn__g^1g^0Xn__g^0n__g^0Xs^1g^0Xs^0n__g^0X*top*^1g^0X*top*^0n__g^0Xf^1activate^1Xf^1Xn__g^1activate^1Xn__g^1Xs^1activate^1Xs^1X*top*^1activate^1X*top*^1Xf^1activate^0Xf^0Xn__g^1activate^0Xn__g^0Xs^1activate^0Xs^0X*top*^1activate^0X*top*^0Xc0f^01n__g^111n__c0g^11activate^11n__g^011activate^01g^01f^111s^111s^011*top*^111*top*^011cf^0n__g^1n__cf^0n__g^1Xg^1activate^1Xf^0n__g^0Xg^1activate^0Xcn__cactivate^0n__g^1Xg^1Xactivate^0n__g^0Xg^0Xactivate^1n__ccf^1g^1Xf^0n__g^1Xn__g^1g^1Xn__g^0n__g^1Xf^1g^0Xf^0n__g^0Xn__g^1g^0Xn__g^0n__g^0Xf^1activate^1Xf^1Xn__g^1activate^1Xn__g^1Xs^1activate^1Xs^1X*top*^1activate^1X*top*^1Xf^1activate^0Xf^0Xn__g^1activate^0Xn__g^0Xcf^0n__g^1n__cf^0n__g^1Xg^1activate^1Xf^0n__g^0Xg^1activate^0Xcn__cactivate^0n__g^1Xg^1Xactivate^0n__g^0Xg^0Xactivate^1n__ccn__g^1g^1Xn__g^0n__g^1Xn__g^1g^0Xn__g^0n__g^0Xf^1activate^1Xf^1Xn__g^1activate^1Xn__g^1Xs^1activate^1Xs^1X*top*^1activate^1X*top*^1Xn__g^1activate^0Xn__g^0Xcf^0n__g^1n__cf^0n__g^1Xg^1activate^1Xf^0n__g^0Xg^1activate^0Xactivate^0n__g^0Xg^0Xactivate^1n__ccn__g^1g^1Xn__g^0n__g^1Xcf^0n__g^1n__cf^0n__g^1Xg^1activate^1Xf^0n__g^0Xg^1activate^0Xactivate^1n__ccn__g^1g^1Xn__g^0n__g^1Xcf^0n__g^1n__cf^0n__g^1Xg^1activate^1Xactivate^1n__ccn__g^1g^1Xn__g^0n__g^1Xn__g^1activate^1n__c1activate^1n__ccn__g^1c1cf^0n__g^1n__cn__g^1f^0n__g^1n__c1f^0n__g^1Xg^1activate^1Xn__g^1g^1activate^1n__cn__g^1g^1Xn__g^0n__g^1Xn__g^0n__g^1activate^1n__cn__g^0AProVEunknownStatistics for single proof: 85,71 % (6 real / 1 unknown / 0 assumptions / 7 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe