aprove.DPFramework.TRSProblem.ETRSProblem2.1aprove.DPFramework.TRSProblem.Processors.ERRRPoloProcessor.RRRPoloETRSProofaprove.DPFramework.TRSProblem.ETRSProblemaprove.DPFramework.TRSProblem.ETRSProblemaprove.DPFramework.TRSProblem.Processors.ERRRPoloProcessor.RRRPoloETRSProofaprove.DPFramework.TRSProblem.ETRSProblemaprove.DPFramework.TRSProblem.ETRSProblemaprove.DPFramework.TRSProblem.Processors.ERRRPoloProcessor.RRRPoloETRSProofaprove.DPFramework.TRSProblem.ETRSProblemaprove.DPFramework.TRSProblem.ETRSProblemaprove.DPFramework.TRSProblem.Processors.ERRRPoloProcessor.RRRPoloETRSProofaprove.DPFramework.TRSProblem.ETRSProblemaprove.DPFramework.TRSProblem.ETRSProblemaprove.DPFramework.TRSProblem.Processors.ERRRPoloProcessor.RRRPoloETRSProofaprove.DPFramework.TRSProblem.ETRSProblemaprove.DPFramework.TRSProblem.ETRSProblemaprove.DPFramework.TRSProblem.Processors.EquationalDependencyPairsProcessor.EquationalDependencyPairsProofaprove.DPFramework.TRSProblem.ETRSProblemaprove.DPFramework.DPProblem.EDPProblemaprove.DPFramework.DPProblem.Processors.EDependencyGraphProcessor.EDependencyGraphProofaprove.DPFramework.DPProblem.EDPProblemaprove.DPFramework.DPProblem.EDPProblemaprove.DPFramework.DPProblem.Processors.ESharpUsableEquationsProcessor.ESharpUsableEquationsProofaprove.DPFramework.DPProblem.EDPProblemaprove.DPFramework.DPProblem.EDPProblemaprove.DPFramework.DPProblem.Processors.EUsableRulesReductionPairsProcessor.EUsableRulesReductionPairsProofaprove.DPFramework.DPProblem.EDPProblemaprove.DPFramework.DPProblem.EDPProblemaprove.DPFramework.DPProblem.Processors.EDPToQDPProblemProcessor.EDPProblemToQDPProblemProofaprove.DPFramework.DPProblem.EDPProblem_isEqualTo_UU'U31ttU'UU42ttU'Uif_then_else_fi_isEqualTo_UU'falsetrueU62ttBU'U63ttBU'U33ttfalseif_then_else_fiBUU'U61ttBU'U64ttU'U'if_then_else_fitrueUU'U71ttU_isNotEqualTo_UU'U41ttU'UU41ttU'UU42ttU'UequalXXttU32ttU'UU33equal_isNotEqualTo_UU'trueU31ttU'UU32ttU'UU61ttBU'U62ttBU'_isNotEqualTo_UUfalseU72ttUUU71ttUU72ttU_isEqualTo_UUtrueU63ttBU'U64equal_isNotEqualTo_BtruetrueU'U32^1ttU'U_ISNOTEQUALTO_UU'_ISNOTEQUALTO_UU'U41^1ttU'UU41^1ttU'UU42^1ttU'UU42^1ttU'UIF_THEN_ELSE_FI_isEqualTo_UU'falsetrueIF_THEN_ELSE_FIBUU'U61^1ttBU'U61^1ttBU'U62^1ttBU'U62^1ttBU'U63^1ttBU'U63^1ttBU'_ISNOTEQUALTO_BtrueU42^1ttU'U_ISEQUALTO_UU'_ISEQUALTO_UU'U31^1ttU'UU31^1ttU'UU32^1ttU'UtrueU32^1ttU'U_ISNOTEQUALTO_UU'_ISNOTEQUALTO_UU'U41^1ttU'UU41^1ttU'UU42^1ttU'UU42^1ttU'UIF_THEN_ELSE_FI_isEqualTo_UU'falsetrueU61^1ttBU'U62^1ttBU'U62^1ttBU'U63^1ttBU'U63^1ttBU'_ISNOTEQUALTO_BtrueU42^1ttU'U_ISEQUALTO_UU'_ISEQUALTO_UU'U31^1ttU'UU31^1ttU'UU32^1ttU'UIF_THEN_ELSE_FIy_2falsetrueU61^1tty_2trueU32^1ttU'U_ISNOTEQUALTO_UU'_ISNOTEQUALTO_UU'U41^1ttU'UU41^1ttU'UU42^1ttU'UU42^1ttU'UIF_THEN_ELSE_FI_isEqualTo_UU'falsetrueU62^1ttBU'U63^1ttBU'U63^1ttBU'_ISNOTEQUALTO_BtrueU42^1ttU'U_ISEQUALTO_UU'_ISEQUALTO_UU'U31^1ttU'UU31^1ttU'UU32^1ttU'UIF_THEN_ELSE_FIy_2falsetrueU61^1tty_2trueU61^1tty_0trueU62^1tty_0trueU32^1ttU'U_ISNOTEQUALTO_UU'_ISNOTEQUALTO_UU'U41^1ttU'UU41^1ttU'UU42^1ttU'UU42^1ttU'UIF_THEN_ELSE_FI_isEqualTo_UU'falsetrueU63^1ttBU'_ISNOTEQUALTO_BtrueU42^1ttU'U_ISEQUALTO_UU'_ISEQUALTO_UU'U31^1ttU'UU31^1ttU'UU32^1ttU'UIF_THEN_ELSE_FIy_2falsetrueU61^1tty_2trueU61^1tty_0trueU62^1tty_0trueU62^1tty_0trueU63^1tty_0trueU32^1ttU'U_ISNOTEQUALTO_UU'_ISNOTEQUALTO_UU'U41^1ttU'UU41^1ttU'UU42^1ttU'UU42^1ttU'UIF_THEN_ELSE_FI_isEqualTo_UU'falsetrueU42^1ttU'U_ISEQUALTO_UU'_ISEQUALTO_UU'U31^1ttU'UU31^1ttU'UU32^1ttU'UIF_THEN_ELSE_FIy_2falsetrueU61^1tty_2trueU61^1tty_0trueU62^1tty_0trueU62^1tty_0trueU63^1tty_0trueU63^1tty_0true_ISNOTEQUALTO_y_0trueU32^1ttU''U1U32^1ttU'U_ISNOTEQUALTO_UU'_ISNOTEQUALTO_U1U''_ISNOTEQUALTO_U'''U''''U41^1ttU''''U'''U41^1ttU''U1U41^1ttU'UU42^1ttU'UU42^1ttU''U1U42^1ttU'''U1'_ISEQUALTO_U1'U'''_ISEQUALTO_U1U''_ISEQUALTO_UU'U31^1ttU'UU31^1ttU''U1U31^1ttU'''U1'U32^1ttU'''U1'U32^1ttU''U1AProVEunknownStatistics for single proof: 33,33 % (5 real / 10 unknown / 0 assumptions / 15 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe