MAYBE 'epo* (timeout of 60.0 seconds)' -------------------------------- Answer: MAYBE Input Problem: innermost runtime-complexity with respect to Rules: { msort(nil()) -> nil() , msort(.(x, y)) -> .(min(x, y), msort(del(min(x, y), .(x, y)))) , min(x, nil()) -> x , min(x, .(y, z)) -> if(<=(x, y), min(x, z), min(y, z)) , del(x, nil()) -> nil() , del(x, .(y, z)) -> if(=(x, y), z, .(y, del(x, z)))} Proof Output: The input cannot be shown compatible