MAYBE 0.00/0.01 The problem does not contain well-formed TRSs: 0.00/0.01 Strict Trs: 0.00/0.01 { sel(0(), cons()) -> X 0.00/0.01 , sel(s(), cons()) -> sel(X, Z) 0.00/0.01 , dbl(0()) -> 0() 0.00/0.01 , dbl(s()) -> s() 0.00/0.01 , dbls(cons()) -> cons() 0.00/0.01 , dbls(nil()) -> nil() 0.00/0.02 , indx(cons()) -> cons() 0.00/0.02 , indx(nil()) -> nil() 0.00/0.02 , from() -> cons() } 0.00/0.02 StartTerms: basic terms 0.00/0.02 Strategy: innermost 0.00/0.02 EOF