MAYBE 0.00/0.00 The problem does not contain well-formed TRSs: 0.00/0.00 Strict Trs: 0.00/0.00 { 2nd(cons(X)) -> Y 0.00/0.00 , from(X) -> cons(X) } 0.00/0.00 StartTerms: all 0.00/0.00 Strategy: none 0.00/0.01 EOF