Fix fun_cmp limits in Utah problems