minus x y cond min x y x y cond y x y s minus x s y min 0 v 0 min u 0 0 min s u s v s min u v 2.2 min s u s v min u v minus x y cond min x y x y cond y x y minus x s y minus x y min x y true cond y x y minus x s y minus x y cond min x y x y true Failed! NaTT certifiable-1.6