MAYBE
* Step 1: Failure MAYBE
  + Considered Problem:
      - Strict TRS:
          cond_mrg_xs_ys_2(False(),Cons(x7,x8),Cons(x5,x6),x4,x3,x2,x1) -> Cons(x2,mrg#2(Cons(x7,x8),x1))
          cond_mrg_xs_ys_2(True(),Cons(x7,x8),Cons(x5,x6),x4,x3,x2,x1) -> Cons(x4,mrg#2(x3,Cons(x5,x6)))
          foldl#3(x2,Nil()) -> x2
          foldl#3(x6,Cons(x4,x2)) -> foldl#3(mrg#2(x6,x4),x2)
          leq#2(0(),x8) -> True()
          leq#2(S(x12),0()) -> False()
          leq#2(S(x4),S(x2)) -> leq#2(x4,x2)
          main(MS(x4,x2)) -> foldl#3(Nil(),x2)
          mrg#2(Cons(x4,x2),Nil()) -> Cons(x4,x2)
          mrg#2(Cons(x8,x6),Cons(x4,x2)) -> cond_mrg_xs_ys_2(leq#2(x8,x4),Cons(x8,x6),Cons(x4,x2),x8,x6,x4,x2)
          mrg#2(Nil(),x2) -> x2
      - Signature:
          {cond_mrg_xs_ys_2/7,foldl#3/2,leq#2/2,main/1,mrg#2/2} / {0/0,Cons/2,False/0,MS/2,Nil/0,S/1,True/0}
      - Obligation:
          innermost runtime complexity wrt. defined symbols {cond_mrg_xs_ys_2,foldl#3,leq#2,main
          ,mrg#2} and constructors {0,Cons,False,MS,Nil,S,True}
  + Applied Processor:
      EmptyProcessor
  + Details:
      The problem is still open.
MAYBE