Problem Transformed outermost 08 f30

Tool Bounds

Execution Time	60.475296ms
Answer	TIMEOUT
Input	Transformed outermost 08 f30

stdout:

TIMEOUT

We consider the following Problem:

  Strict Trs:
    {  *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , *top*_30(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(x)))))))))))))))))))))))))))))))
       -> *top*_2(c_32())
     , f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))))))))))))))))))))))
       ->
       f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))))))))))))))))))))))
     , *top*_29(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))))))))))))))))))))))
       ->
       *top*_30(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))))))))))))))))))))))
     , *top*_28(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))))))))))))))))))))
       ->
       *top*_29(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))))))))))))))))))))))
     , *top*_27(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))))))))))))))))))))
       ->
       *top*_28(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))))))))))))))))))))
     , *top*_26(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))))))))))))))))))
       ->
       *top*_27(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))))))))))))))))))))
     , *top*_25(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))))))))))))))))))
       ->
       *top*_26(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))))))))))))))))))
     , *top*_24(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))))))))))))))))
       ->
       *top*_25(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))))))))))))))))))
     , *top*_23(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))))))))))))))))
       ->
       *top*_24(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))))))))))))))))
     , *top*_22(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))))))))))))))
       ->
       *top*_23(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))))))))))))))))
     , *top*_21(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))))))))))))))
       ->
       *top*_22(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))))))))))))))
     , *top*_20(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))))))))))))
       ->
       *top*_21(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))))))))))))))
     , *top*_19(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))))))))))))
       ->
       *top*_20(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))))))))))))
     , *top*_18(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))))))))))
       ->
       *top*_19(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))))))))))))
     , *top*_17(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))))))))))
       ->
       *top*_18(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))))))))))
     , *top*_16(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))))))))
       ->
       *top*_17(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))))))))))
     , *top*_15(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))))))))
       ->
       *top*_16(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))))))))
     , *top*_14(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))))))
       ->
       *top*_15(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))))))))
     , *top*_13(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))))))
       ->
       *top*_14(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))))))
     , *top*_12(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))))
       ->
       *top*_13(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))))))
     , *top*_11(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))))
       ->
       *top*_12(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))))
     , *top*_10(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))
       ->
       *top*_11(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))))
     , *top*_9(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))
       ->
       *top*_10(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))))
     , *top*_8(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))) ->
       *top*_9(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))))
     , *top*_7(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))) ->
       *top*_8(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31()))))))))
     , *top*_6(f_37(f_36(f_35(f_33(f_34(a_31())))))) ->
       *top*_7(f_38(f_37(f_36(f_35(f_33(f_34(a_31())))))))
     , *top*_5(f_36(f_35(f_33(f_34(a_31()))))) ->
       *top*_6(f_37(f_36(f_35(f_33(f_34(a_31()))))))
     , *top*_4(f_35(f_33(f_34(a_31())))) ->
       *top*_5(f_36(f_35(f_33(f_34(a_31())))))
     , *top*_3(f_33(f_34(a_31()))) -> *top*_4(f_35(f_33(f_34(a_31()))))
     , *top*_1(f_34(a_31())) -> *top*_3(f_33(f_34(a_31())))
     , *top*_2(a_31()) -> *top*_1(f_34(a_31()))}
  StartTerms: all
  Strategy: none

Certificate: TIMEOUT

Proof:
  Computation stopped due to timeout after 60.0 seconds.

Arrrr..

Tool CDI

Execution Time	60.142475ms
Answer	TIMEOUT
Input	Transformed outermost 08 f30

stdout:

TIMEOUT

Statistics:
Number of monomials: 0
Last formula building started for bound 0
Last SAT solving started for bound 0

Tool EDA

Execution Time	60.543236ms
Answer	TIMEOUT
Input	Transformed outermost 08 f30

stdout:

Tool IDA

Execution Time	60.603737ms
Answer	TIMEOUT
Input	Transformed outermost 08 f30

stdout:

Tool TRI

Execution Time	60.71859ms
Answer	TIMEOUT
Input	Transformed outermost 08 f30

stdout:

Tool TRI2

Execution Time	60.515423ms
Answer	TIMEOUT
Input	Transformed outermost 08 f30