0.91/0.62 MAYBE 0.91/0.62 Input TRS: 0.91/0.62 1: le(x,0()) -> false() 0.91/0.62 2: le(0(),s(y)) -> true() 0.91/0.62 3: le(s(x),s(y)) -> le(x,y) 0.91/0.62 4: min(cons(x,nil())) -> x 0.91/0.62 5: min(cons(x,xs)) -> x 0.91/0.62 6: min(cons(x,xs)) -> y 0.91/0.62 Infeasibility test: 0.91/0.62 min(nil()) --> x3 0.91/0.62 le(x1,x3) --> false() 0.91/0.62 EOF